Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995. The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the t...

وصف كامل

التفاصيل البيبلوغرافية

مؤلف مشترك:	International conference on computer-aided verification :Liège, Belgique
مؤلفون آخرون:	Wolper, Pierre, 1955- (مدير النشر)
التنسيق:	Livre numérique
اللغة:	Anglais
منشور في:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
سلاسل:	Lecture notes in computer science 939
الموضوعات:	Génie logiciel Logiciels > Essais Ordinateurs Évaluation Informatique Logiciels > Vérification Intelligence artificielle Logique symbolique et mathématique Actes de congrès
الوصول للمادة أونلاين:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
ملاحظة:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Computer aided verification, 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995, proceedings, edited by Pierre Wolper, 1995, Berlin, Springer-Verlag, 1 vol. (x-450 p.), Lecture notes in computer science, 3-540-60045-0 • Computer Aided Verification, Texte imprimé, 9783662172216