9783642031526 - Language Engineering and Rigorous Software Development Kartoniert (TB)

EAN: 9783642031526

Produktdaten aktualisiert am: 05.02.2025
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: 3642031528 
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.

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Barcode:
9783642031526
QR-Code:
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
ean-shopping.de - es werden keine Cookies verwendet - Impressum