Verification, model checking, and abstract interpretation: third international workshop ; revised papers
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- VIII, 330 S. : graph. Darst. ; 24 cm
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Verification, model checking, and abstract interpretation: third international workshop ; revised papers
|
---|---|
Verantwortlichkeitsangabe: | VMCAI 2002, Venice, Italy, January 21 - 22, 2002. Agostino Cortesi (ed.) |
Autor/in / Beteiligte Person: | Cortesi, Agostino |
Körperschaft: | VMCAI |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | VIII, 330 S. : graph. Darst. ; 24 cm |
ISBN: | 3540436316 kart. : ca. EUR 47.10 |
Schlagwort: |
|
Sonstiges: |
|