Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Körperschaft: | |
| Weitere Verfasser: | |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[201. ?].
|
| Schriftenreihe: | Lecture notes in computer science
2937 |
| Schlagworte: | |
| Online Zugang: | Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
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 |