Automated technology for verification and analysis: third international conference ; proceedings
Berlin [u.a.]: Springer, 2005
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- XII, 506 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Automated technology for verification and analysis: third international conference ; proceedings
|
---|---|
Verantwortlichkeitsangabe: | ATVA 2005, Taipei, Taiwan, October 4 - 7, 2005. Doron A. Peled ... (ed.) |
Autor/in / Beteiligte Person: | Peled, Doron (1962-) |
Körperschaft: | ATVA |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2005 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XII, 506 S. : graph. Darst. |
ISBN: | 3540292098 : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.); 9783540292098 |
Schlagwort: |
|
Sonstiges: |
|