Mohlo by se vám také líbit

Více informací o knize Language Engineering and Rigorous Software Development

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 125 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Software Engineering

• Plný název: Language Engineering and Rigorous Software Development
• Podnázev: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
• Autor: Luis Soares Barbosa, Ana Bove, Alberto Pardo, Jorge Sousa Pinto
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 301
• EAN: 9783642031526
• ISBN: 3642031528
• ID: 01650158
• Nakladatelství: Springer, Berlin
• Hmotnost: 480 g
• Rozměry: 17 × 155 × 15 mm
• Rok vydání: 2009

---

---

---