Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
Enregistré dans:
| Auteur principal: | |
|---|---|
| Collectivité auteur: | |
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[201. ?].
|
| Collection: | Lecture notes in computer science
2937 |
| Sujets: | |
| Accès en ligne: | Accès Université d'Orléans Accès INSA CVL |
| Note: |
Description d après la consultation, 2022-03-03 Titre provenant de l'écran-titre L impression du document génère 344 pages Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Verification, model checking, and abstract interpretation, 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings, Bernhard Steffen, Giorgio Levi (eds), Berlin, Springer, 2004, 1 vol. (XI-324 p.), Lecture notes in computer science, 3-540-20803-8 |