Integrated formal methods
: 6th international conference ; proceedings / IFM 2007, Oxford, UK, July 2 - 5, 2007. Jim Davies ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4591)
ISBN 978-3-540-73210-5
Lizenzpflichtig
Quelle: DNB
Integrated formal methods
: 5th international conference ; proceedings / IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Judi Romijn ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3771)
ISBN 978-3-540-32240-5
Lizenzpflichtig
Quelle: DNB
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 ; 7th international workshop ; revised papers / DSV-IS 2000, Limerick, Ireland, June 2000. P. Palanque ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1946)
ISBN 978-3-540-44675-0
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 ... (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 ; 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
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
Oskarsson, Östen: ISO 9000 und Software-Qualität
/ Östen Oskarsson ; Robert Glass. - München [i.e.] Haar : Prentice Hall, 1997. - 304 S. : graph. Darst.; 24 cm
ISBN 978-3-8272-9538-5 / 3-8272-9538-6 Pp. : DM 79.95, sfr 66.00, S 584.00
Quelle: DNB
Diederichs, Henner: Komplexitätsreduktion in der Softwareentwicklung
: ein systemtheoretischer Ansatz / Henner Diederichs. - Norderstedt : Books on Demand GmbH, 2005. - XIX, 274 S. : graph. Darst.; 22 cm - (DSOR-Beiträge zur Wirtschaftsinformatik; Bd. 3)
ISBN 3-8334-1790-0 kart. : EUR 35.00
Quelle: DNB Verlagsmeldungen
Hoang, Minh-Son: Komponentenbasierte Automatisierungssoftware
: objektorientiert - anwendungsnah / Minh Son Hoang ; Peter Rieger. - München : Hanser, 1999. - 292 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-446-21231-2 / 3-446-21231-0 Pp. : DM 98.00, EUR 50.11, sfr 89.00, S 715.00
Literaturverz. S. 272 - 276
Quelle: DNB
