Interactive systems
: design, specification, and verification : 13th international workshop ; revised papers / DSVIS 2006, Dublin, Ireland, July 26 - 28, 2006. Gavin Doherty ; Ann Blandford (ed.). - Berlin : Springer, 2007. - XI, 268 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4323)
ISBN 978-3-540-69553-0 / 3-540-69553-2 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Interactive systems
: design, specification, and verification ; 13th international workshop ; revised papers / DSVIS 2006, Dublin, Ireland, July 26 - 28, 2006. Gavin Doherty ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4323)
ISBN 978-3-540-69554-7
Lizenzpflichtig
Quelle: DNB
