Name: Semantics of Type Theory
Price: 80.00 EUR
Availability: InStock
Author: T. Streicher
ISBN: 9781461267577

Semantics of Type Theory von T. Streicher

Sie sparen 12% des UVP sparen 12%

Taschenbuch
Versandfertig in 1-2 Wochen
80,00 €

Über Semantics of Type Theory

Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fication.

Sprache:
Englisch

ISBN:
9781461267577

Verlag:
Springer-Verlag New York Inc.

Einband:
Taschenbuch

Seitenzahl:
299

Veröffentlicht:
29. Oktober 2012

Ausgabe:
11991

Abmessungen:
234x156x17 mm.

Gewicht:
482 g.

80,00 € inkl. MwSt.
~~90,94 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Verlängerte Rückgabefrist bis 31. Januar 2025

Keine Lieferung vor Weihnachten möglich.
Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Über T. Streicher

Alle Bücher von T. Streicher anzeigen

Beschreibung von Semantics of Type Theory

Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fication.

Kund*innenbewertungen von Semantics of Type Theory

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Semantics of Type Theory ist in den folgenden Kategorien erhältlich:

Semantics of Type Theory

Über T. Streicher

Beschreibung von Semantics of Type Theory

Kund*innenbewertungen von Semantics of Type Theory

Willkommen bei den Tales Buchfreunden und -freundinnen