Tools and algorithms for the construction and analysis of systems: 8th international conference ; proceedings
Berlin, Heidelberg, New York, Barcelona [u.a.]: Springer, 2002
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- XIII, 482 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Tools and algorithms for the construction and analysis of systems: 8th international conference ; proceedings
|
---|---|
Verantwortlichkeitsangabe: | TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 - 12, 2002. Joost-Pieter Katoen ; Perdita Stevens (ed.) |
Autor/in / Beteiligte Person: | Katoen, Joost-Pieter (1964-) |
Körperschaft: | TACAS ; ETAPS |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin, Heidelberg, New York, Barcelona [u.a.]: Springer, 2002 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XIII, 482 S. : graph. Darst. |
ISBN: | 3540434194 kart. : ca. EUR 59.92 |
Schlagwort: |
|
Sonstiges: |
|