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 |
| Description: | 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) |
|---|---|
| Format: | Nécessite un navigateur internet ; un lecteur de fichier PDF |
| Bibliographie: | Bibliogr. en fin de chapitres. Index |
| ISBN: | 9783540246220 (PDF) |
| ISSN: | 1611-3349 |
| Accès: | L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques |