Concrete Semantics: With Isabelle / HOL - Tobias Nipkow - Bücher - Springer International Publishing AG - 9783319105413 - 15. Dezember 2014
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Tobias Nipkow
Concrete Semantics: With Isabelle / HOL 2014 edition

Preis
€ 72,99

Bestellware

Lieferdatum: ca. 9. - 19. 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
oder

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.

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

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 15. Dezember 2014
ISBN13 9783319105413
Verlag Springer International Publishing AG
Seitenanzahl 298
Maße 155 × 235 × 19 mm   ·   616 g
Sprache Englisch  

Weitere Titel von Tobias Nipkow

Alle anzeigen

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