Concrete Semantics: With Isabelle / HOL - Tobias Nipkow - Bücher - Springer International Publishing AG - 9783319357591 - 10. September 2016
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Tobias Nipkow
Concrete Semantics: With Isabelle / HOL Softcover reprint of the original 1st ed. 2014 edition

Preis
SFr. 43,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 12. - 20. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally. The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.

311 pages, 86 black & white illustrations, 1 colour illustrations, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 10. September 2016
ISBN13 9783319357591
Verlag Springer International Publishing AG
Seitenanzahl 298
Maße 234 × 156 × 19 mm   ·   490 g
Sprache Französisch  

Weitere Titel von Tobias Nipkow

Alle anzeigen

Alle Titel von Tobias Nipkow ansehen ( u. a. Taschenbuch und Gebundenes Buch )