Normal view MARC view ISBD view

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 -- Software, General
68-01, Computer science, Instructional exposition (textbooks, tutorial papers, etc.)
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
68 SCH (Browse shelf) Available 00295-01

Bibliogr. p. 183-187. Index

There are no comments for this item.

Log in to your account to post a comment.