Systems and software verification : model-checking techniques and tools

Systems and software verification : model-checking techniques and tools

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Bérard Béatrice (Auteur), Bidoit Michel (Auteur), Finkel Alain (Auteur), Schnoebelen Philippe (Auteur)
Autres auteurs : McKenzie Pierre (Traducteur)
Format : Livre
Langue : anglais
Titre complet : Systems and software verification : model-checking techniques and tools / B. Bérard, M. Bidoit, A. Finkel... [et al.]; [traduction par] Pierre McKenzie
Édition : Updated version of the French language edition
Publié : Berlin, New York, Paris : Springer , C 2001
Description matérielle : 1 vol. (XII-190 p.)
Traduction de : Vérification de logiciels : techniques et outils du model-checking
Sujets :
Logiciels > Vérification
LEADER 02301cam a2200541 4500
001 PPN056180519
003 http://www.sudoc.fr/056180519
005 20230126063100.0
010 |a 3-540-41523-8  |b rel.  |d 47,62 EUR 
010 |a 978-3-642-07478-3  |b br. 
035 |a (OCoLC)758269841 
073 1 |a 9783642074783 
100 |a 20010702h20012001k y0frey0103 ba 
101 1 |a eng  |c fre  |2 639-2 
102 |a DE  |a US  |a FR 
105 |a a a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Systems and software verification  |e model-checking techniques and tools  |f B. Bérard, M. Bidoit, A. Finkel... [et al.]  |g [traduction par] Pierre McKenzie 
205 |a Updated version of the French language edition 
214 0 |a Berlin  |a New York  |a Paris  |c Springer 
214 4 |d C 2001 
215 |a 1 vol. (XII-190 p.)  |c ill., couv. ill. en coul.  |d 23 cm 
304 |a Trad. de : "Vérification de logiciels : techniques et outils du model-checking / coordonné par Philippe Schnoebelen" 
305 |a Autre(s) tirage(s) : 2010 
314 |a Autre contribution : Ph. Schnoebelen 
320 |a Bibliogr. p. [179]-182. Index 
454 | |0 045272999  |t Vérification de logiciels  |o techniques et outils du model-checking  |f Béatrice Bérard, Michel Bidoit, François Laroussinie... [etc.]  |c Paris  |n Vuibert  |d 1999  |p 1 vol. (XV-197 p.)  |s Vuibert informatique  |y 2-7117-8646-3 
606 |3 PPN053469844  |a Logiciels  |x Vérification  |2 rameau 
686 |a D.2  |2 acm 
686 |a 68N30  |c 2000  |2 msc 
686 |a 68Q85  |c 2000  |2 msc 
686 |a 68-01  |c 2000  |2 msc 
700 1 |3 PPN029892740  |a Bérard  |b Béatrice  |f 19..-....  |c professeure en informatique  |4 070 
701 1 |3 PPN056180748  |a Bidoit  |b Michel  |f 1957-....  |4 070 
701 1 |3 PPN031087140  |a Finkel  |b Alain  |f 1958-....  |4 070 
701 1 |3 PPN050806173  |a Schnoebelen  |b Philippe  |f 19..-....  |4 070 
702 1 |3 PPN056180640  |a McKenzie  |b Pierre  |4 730 
801 3 |a FR  |b Abes  |c 20220905  |g AFNOR 
979 |a IUTN 
930 |5 441092206:274434288  |b 441092206  |j s 
991 |5 441092206:274434288  |a Rétroconversion IUT Nantes 
991 |5 441092206:274434288  |a Exemplaire modifié automatiquement. le 25-01-2023 15:33 
998 |a 467799