Kategorien
Mein Mercateo
Anmelden / Registrieren
Warenkorb
 
 

Interactive Theorem Proving and Program Development


Menge:  Stück  
Produktinformationen
cover
cover
Artikel-Nr.:
     5667A-9783642058806
Hersteller:
     Springer Verlag
Herst.-Nr.:
     9783642058806
EAN/GTIN:
     9783642058806
Suchbegriffe:
Mathematik-Bücher
Mathematikbücher - englischsprachig
mathematikbücher - englischsprachig
Coq'Art: The Calculus of Inductive Constructions
Weitere Informationen:
Author:
Yves Bertot; G. Huet; Pierre Castéran; C. Paulin-Mohring
Verlag:
Springer Berlin
Sprache:
eng
Weitere Suchbegriffe: Automat; Coq; formal method; logic; programming, Automat, Coq, formal method, interactive theorem proving, logic, programming, proving, theorem proving
Die Konditionen im Überblick1
Lieferzeit
Lagerstand
Preis
€ 79,99*
Konditionen selbst auswählen
Artikel empfehlenArtikel merken
* Preise mit Sternchen sind Nettopreise zzgl. gesetzlich gültiger MwSt.
UVP bedeutet „Unverbindliche Preisempfehlung“
Unser Angebot richtet sich ausschließlich an Unternehmen, Gewerbetreibende und Freiberufler.