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
مهر ۲۰۰۹ · Springer Science & Business Media
ای-کتاب
301
صفحهها
نمونه رایگان
درباره این ای-کتاب
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.
Computers & technology
ردهبندی این کتاب الکترونیک
نظرات خود را به ما بگویید.
اطلاعات مطالعه
تلفن هوشمند و رایانه لوحی
برنامه «کتابهای Google Play» را برای Android و iPad/iPhone بارگیری کنید. بهطور خودکار با حسابتان همگامسازی میشود و به شما امکان میدهد هر کجا که هستید بهصورت آنلاین یا آفلاین بخوانید.
رایانه کیفی و رایانه
با استفاده از مرورگر وب رایانهتان میتوانید به کتابهای صوتی خریداریشده در Google Play گوش دهید.
eReaderها و دستگاههای دیگر
برای خواندن در دستگاههای جوهر الکترونیکی مانند کتابخوانهای الکترونیکی Kobo، باید فایل مدنظرتان را بارگیری و به دستگاه منتقل کنید. برای انتقال فایل به کتابخوانهای الکترونیکی پشتیبانیشده، دستورالعملهای کامل مرکز راهنمایی را دنبال کنید.