bokomslag Theorem Proving in Higher Order Logics
Data & IT

Theorem Proving in Higher Order Logics

Victor A Carreno Cesar A Munoz Sofiene Tahar

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 347 sidor
  • 2002
Constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics held in the USA in 2002. The 20 papers cover issues in HOL theorem proving and formal verification of software and hardware systems, evaluating Isabelle/HOL, Isabelle/Isar and Coq.
  • Författare: Victor A Carreno, Cesar A Munoz, Sofiene Tahar
  • Format: Pocket/Paperback
  • ISBN: 9783540440390
  • Språk: Engelska
  • Antal sidor: 347
  • Utgivningsdatum: 2002-08-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K