Normal view MARC view ISBD view

Computer aided verification [] : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.)

Auteur principal collectivité : International conference on computer-aided verification, 13, 2001, AuteurAuteur secondaire : : Comon-Lundh, Hubert, Editeur scientifique;Finkel, Alain, 1958-...., Editeur scientifique;Berry, Gérard, 1948-...., Editeur scientifiquePublication : Berlin : Springer, cop. 2001Description : 1 vol. (XIII-520 p.) : ill. ; 24 cmISBN : 3-540-42345-1.Dewey: 004.24Bibliographie: Références bibliographiques. Index..Sujet - Nom d'actualité : Logiciels -- Essais -- Congrès ;Logiciels -- Vérification ;Circuits intégrés -- Essais -- Congrès Sujet : Logique temporelle ;RDD ;Automate ;Logiciel ;Preuve ;Langage JAVA ;Modèl Checking ;Preuve de théorèmes
Current location Call number Status Date due Barcode
Centre de recherche en informatique
PAR 01 Sur demande CRI06183D

Références bibliographiques. Index.

Powered by Koha