Higher Order Logic Theorem Proving and Its Applications Carl-Johan H. Seger
53,49 €
Titel: Higher Order Logic Theorem Proving and Its Applications, Untertitel: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings, Einband: Taschenbuch, Autor: Carl-Johan H. Seger, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 536, Maße: 235x155x29 mm, Gewicht: 803 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Allgemeines Logik Philosophie / Logik Theorie Automatisches Beweisen Hardware verification Hardwareverifikation Higher Order Logic System (HOL) Higher-Order-Logic System Protocol Verification Protokollverifikation Semantics Softwareverifikation Syntax logic modeling processor programming language theorem proving.
Jetzt bei Ebay:
