Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Concrete Semantics

Concrete Semantics

- With Isabelle/HOL

von Tobias Nipkow, Gerwin Klein
Concrete Semantics von Tobias Nipkow Sie sparen 12% des UVP sparen 12%
Über Concrete Semantics

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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783319105413
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 298
  • Veröffentlicht:
  • 15. Dezember 2014
  • Ausgabe:
  • 2014
  • Abmessungen:
  • 155x235x19 mm.
  • Gewicht:
  • 5915 g.
  Versandkostenfrei
  Sofort lieferbar

Über Tobias Nipkow

Alle Bücher von Tobias Nipkow anzeigen

Beschreibung von Concrete Semantics

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.

Kund*innenbewertungen von Concrete Semantics



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Concrete Semantics ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.