Theorem Proving in Higher Order Logics John Harrison
106,99 €
Titel: Theorem Proving in Higher Order Logics, Untertitel: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings, Einband: Taschenbuch, Autor: John Harrison, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 552, Maße: 235x155x30 mm, Gewicht: 826 g, Verkäufer: buch-mimpf, Schlagworte: Logik Philosophie / Logik Hardware verification Isabelle Logic Design SPIN automated deduction formal methods formal verification higher order logic mathematical logic model checking proving theorem proving verification.
Jetzt bei Ebay:
