Isabelle/HOL Tobias Nipkow
58,84 €
Titel: Isabelle/HOL, Untertitel: A Proof Assistant for Higher-Order Logic, Einband: Taschenbuch, Autor: Tobias Nipkow, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 240, Maße: 235x155x14 mm, Gewicht: 371 g, Verkäufer: buch-mimpf, Schlagworte: Logik Philosophie / Logik Formal Specification Functional Programming Interactive Proof Systems Isabelle Proof Assistants formal methods formal reasoning formal verification higher-order logic logic predicate logic proof theory theorem proving type theory verification.
Jetzt bei Ebay:
