Verification, model checking, and abstract interpretation: 7th international conference ; proceedings
Berlin [u.a.]: Springer, 2006
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- XI, 442 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Verification, model checking, and abstract interpretation: 7th international conference ; proceedings
|
---|---|
Verantwortlichkeitsangabe: | VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006. E. Allen Emerson ... (eds.) |
Autor/in / Beteiligte Person: | Emerson, E. Allen |
Körperschaft: | VMCAI |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2006 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XI, 442 S. |
ISBN: | 9783540311393; 3540311394 : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.) |
Schlagwort: |
|
Sonstiges: |
|