Neuware
Isabelle/HOL - A Proof Assistant for Higher-Order Logic
von Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson
2002 Kartoniert, 240 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThis volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, i…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9783540433767
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!