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 |
| LEADER | 02388nam a22003737a 4500 | ||
|---|---|---|---|
| 001 | 976402 | ||
| 008 | 110927q2010 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155220365 | ||
| 020 | |a 9783540246220 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Steffen, Bernhard, |d 1956- | |
| 245 | 1 | 0 | |a Verification, model checking, and abstract interpretation : |b 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings |c [edited by] Bernhard Steffen, Giorgio Levi. |
| 256 | |a Données textuelles | ||
| 260 | |a Berlin [etc.] : |b Springer, |c [201. ?]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2937 |x 1611-3349 | |
| 500 | |a Description d après la consultation, 2022-03-03 | ||
| 500 | |a Titre provenant de l'écran-titre | ||
| 500 | |a L impression du document génère 344 pages | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 504 | |a Bibliogr. en fin de chapitres. Index | ||
| 506 | |a 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 | ||
| 538 | |a Nécessite un navigateur internet ; un lecteur de fichier PDF | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Logiciels |x Vérification | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Levi, Giorgio, |d 1942- |4 pbd | |
| 711 | 2 | |a International Conference on Verification, Model Checking, and Abstract Interpretation |n (5 |d :2004 |c :Venice, IT). |4 aut | |
| 776 | 0 | |0 076315363 |t Verification, model checking, and abstract interpretation |o 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 |o proceedings |f Bernhard Steffen, Giorgio Levi (eds) |c Berlin |n Springer |d 2004 |p 1 vol. (XI-324 p.) |s Lecture notes in computer science |z 3-540-20803-8 | |
| 856 | 4 | |5 452349901:594808332 |u https://ezproxy.univ-orleans.fr/login?url=http://dx.doi.org/10.1007/b94790 |z Accès Université d'Orléans | |
| 856 | 4 | |5 452349901:594808332 |u https://ezproxy.insa-cvl.fr/login?qurl=http://dx.doi.org/10.1007/b94790 |z Accès INSA CVL | |
| 997 | |0 976402 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||