Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of In

Ø 0.0

0 Bewertungen

47,90 €

2004 Springer, 2004. 497 S. Gebundene Ausgabe, Maße: 16.41 cm x 3.23 cm x 23.77 cm Sprache: Englisch ISBN: 3540208542 EAN: 9783540208549 Bestell-Nr: 47234 Schlagworte: logic, Automat, theorem proving, programming, formal method, interactive theorem proving, Coq, proving .

Jetzt bei Ebay:

Zum Angebot *

EAN:

9783540208549
ISBN:

3540208542
Buchtitel:

Interactive Theorem Proving and Program Development: CoqArt: Th
Genre:

() Ohne Sachgebiet
Reihe:

Texts in Theoretical Computer Science. an Eatcs Series
Produktart:

Lehrbuch
Format:

Gebundene Ausgabe
Erscheinungsjahr:

2004
Anzahl der Seiten:

500 Seiten
Autor:

Pierre Castéran
Verlag:

Springer Berlin Heidelberg, Springer Berlin
Publikationsname:

Interactive Theorem Proving And Program Development
Sprache:

Englisch

Standardversand:

DHL Päckchen kostenlos - Lieferung zwischen 03. July 2025 und 04. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Amerika, Europa, Asien, Australien
Versand ausgeschlossen:

Bulgarien , Griechenland , Irland , Lettland , Litauen , Luxemburg , Polen , Portugal , Rumänien , Slowakei , ... und weitere