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
এই ইবুকখনক মূল্যাংকন কৰক
আমাক আপোনাৰ মতামত জনাওক।
পঢ়াৰ নির্দেশাৱলী
স্মাৰ্টফ’ন আৰু টেবলেট
Android আৰু iPad/iPhoneৰ বাবে Google Play Books এপটো ইনষ্টল কৰক। ই স্বয়ংক্রিয়ভাৱে আপোনাৰ একাউণ্টৰ সৈতে ছিংক হয় আৰু আপুনি য'তে নাথাকক ত'তেই কোনো অডিঅ'বুক অনলাইন বা অফলাইনত শুনিবলৈ সুবিধা দিয়ে।