Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Ana Bove · Luis Soares Barbosa · Alberto Pardo · Jorge Sousa Pinto

iyl, 2009 · Springer Science & Business Media

E-kitob

301

Sahifalar soni

Bu e-kitob haqida

This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development: an introductory tutorial, an introduction to dependent types, and one on type-based termination.

Bu e-kitobni baholang

Fikringizni bildiring.

Qayerda o‘qiladi

Smartfonlar va planshetlar

Android va iPad/iPhone uchun mo‘ljallangan Google Play Kitoblar ilovasini o‘rnating. U hisobingiz bilan avtomatik tazrda sinxronlanadi va hatto oflayn rejimda ham kitob o‘qish imkonini beradi.

Noutbuklar va kompyuterlar

Google Play orqali sotib olingan audiokitoblarni brauzer yordamida tinglash mumkin.

Kitob o‘qish uchun mo‘ljallangan qurilmalar

Kitoblarni Kobo e-riderlar kabi e-siyoh qurilmalarida oʻqish uchun faylni yuklab olish va qurilmaga koʻchirish kerak. Fayllarni e-riderlarga koʻchirish haqida batafsil axborotni Yordam markazidan olishingiz mumkin.