EAN: 9783642031526

Bilder-Quelle: discount24.de - Sport-Freizeit
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.
Produktinformationen zuletzt aktualisiert am
28.06.2025 um 01:52 Uhr


Hersteller
-
EAN
9783642031526
MPN
-
ASIN
3642031528
Produktgruppe
-

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
utopio.de - es werden keine Cookies verwendet - Impressum