Theorem proving in higher order logics: 15th international conference, tphols 2002, hampton, va, usa, august 20-23, 2002. proceedings
Auteur :
Carreno, Victor A.
ISBN :
9783540440390
Date de publication :
7 août 2002
Dimensions :
23,4 x 15,6 x 1,9 cm
Poids :
511 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.