Normal view MARC view ISBD view

Verification, model checking, and abstract interpretation [Texte imprimé] : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds)

Auteur principal collectivité : International Conference on Verification, Model Checking, and Abstract Interpretation, 5, 2004, AuteurAuteur secondaire : : Steffen, Bernhard, Editeur scientifique;Levi, Giorgio, 1942-..., Editeur scientifiquePublication : Berlin, New York : Springer, cop. 2004Description : XI-324 p. ; 24 cmISBN : 3-540-20803-8.Collections : Lecture notes in computer science, 2937Bibliographie: Contient des notes bibliogr. Index.Sujet - Nom d'actualité : Logiciels -- Vérification Sujet : BINARY DECISION DIAGRAM ;ANALYSE SEMANTIQUE ;Preuve automatique ;Modèl Checking ;Preuve de programme
Current location Call number Status Date due Barcode
Centre de recherche en informatique
VEN 04 Available CRI05641D

Contient des notes bibliogr. Index

Powered by Koha