Interactive systems: design, specification, and verification ; 8th international workshop ; revised papers
Berlin [u.a.]: Springer, 2001
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- XII, 217 S. : Ill., graph. Darst. ; 24 cm
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Interactive systems: design, specification, and verification ; 8th international workshop ; revised papers
|
---|---|
Verantwortlichkeitsangabe: | DSV-IS 2001, Glasgow, Scotland, UK, June 13 - 15, 2001. Chris Johnson (ed.) |
Autor/in / Beteiligte Person: | Johnson, Chris |
Körperschaft: | DSV IS |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2001 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XII, 217 S. : Ill., graph. Darst. ; 24 cm |
ISBN: | 3540428070 kart. : DM 66.00 |
Schlagwort: |
|
Sonstiges: |
|