Graham, Thomas C. Nicholas: Declarative development of interactive systems
/ T. C. Nicholas Graham. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1995. - XII, 181 S. : graph. Darst. - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 243)
ISBN 978-3-486-23430-5 / 3-486-23430-7 kart. : ca. DM 56.00
Quelle: DNB
Interactive systems
: design, specification, and verification ; 15th international workshop ; proceedings / DSV IS 2008 Kingston, Canada, July 16 - 18, 2008. T. C. Nicholas Graham ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5136)
ISBN 978-3-540-70569-7
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification ; 15th international workshop ; proceedings / DSV IS 2008 Kingston, Canada, July 16 - 18, 2008. T. C. Nicholas Graham ; Philippe Palanque (ed.). - Berlin : Springer, 2008. - IX, 309 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5136)
ISBN 978-3-540-70568-0 kart. : EUR 51.36 (freier Pr.), sfr 80.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
