Interactive systems
: design, specification, and verification : 12th international workshop ; revised papers / DSVIS 2005, Newcastle-upon-Tyne, UK, July 13 - 15, 2005. Stephen W. Gilroy ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3941)
ISBN 978-3-540-34146-8
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification : 12th international workshop ; revised papers / DSVIS 2005, Newcastle-upon-Tyne, UK, July 13 - 15, 2005. Stephen W. Gilroy ; Michael D. Harrison (ed.). - Berlin : Springer, 2006. - XI, 263 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3941)
ISBN 978-3-540-34145-1 / 3-540-34145-5 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
