Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
Na minha lista:
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Outros Autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[201. ?].
|
| coleção: | Lecture notes in computer science
2937 |
| Assuntos: | |
| Acesso em linha: | Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 |