Vérification de logiciels : techniques et outils du model-checking / Béatrice Bérard, Michel Bidoit, François Laroussinie... [et al.] ; avec la collab. de Gérard Cécé, Catherine Dufourd, Alain Finkel... [et al.] ; coordination, Philippe Schnoebelen

Auteur secondaire : Schnoebelen, Philippe, Directeur de publicationType de document : MonographieCollection : Vuibert informatiqueLangue : français.Pays: France.Éditeur : Paris : Vuibert, 1999Description : 1 vol. (xv-197 p.) ; 24 cmISBN: 9782711786466.ISSN: 1632-4676.Bibliographie : Bibliogr. p. 183-187. Index.Sujet MSC : 68N01, Computer science, General topics in the theory of software
68-01, Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Monographie Monographie CMI
Salle 2 		68 SCH (Browse shelf(Opens below)) Available 00295-01

Bibliogr. p. 183-187. Index

There are no comments on this title.

to post a comment.