Computer aided verification: 7th international conference, cav '95, liege, belgium, july 3 - 5, 1995. proceedings: 7th: international conference, cav '95, liege, belguim, july 3-5, 1995 - proceedings
Auteur :
Wolper, Pierre
ISBN :
9783540600459
Date de publication :
21 juin 1995
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
1440 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.