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.

Ü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