হোল্ডিংস: Computer aided verification :

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
সংস্থা লেখক:	International conference on computer-aided verification :Paris
অন্যান্য লেখক:	Finkel, Alain, 1958- (Publishing director), Berry, Gérard, 1948-...., informaticien (Publishing director), Comon-Lundh, Hubert, 1957-...., auteur en informatique (Publishing director)
বিন্যাস:	Livre numérique
ভাষা:	Anglais
প্রকাশিত:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
মালা:	Lecture notes in computer science 2102
বিষয়গুলি:	Informatique Logiciels > Vérification Circuits intégrés Intelligence artificielle Logique symbolique et mathématique Essais Logiciels > Essais Structure logique 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, 13th International conference, CAV 2001, Paris, France, July 18-22, 2001, proceedings, Gérard Berry, Hubert Comon, Alain Finkel (eds.), 2001, Berlin, Springer, 1 vol. (XIII-520 p.), Lecture notes in computer science, 3-540-42345-1 • Computer Aided Verification, Texte imprimé, 9783662178379