Industrial benefit of formal methods
: proceedings / FME '94, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Maurice Naftalin ... (ed.). - Berlin : Springer, 1994. - XI, 723 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 873)
ISBN 978-3-540-58555-8 / 3-540-58555-9 kart. : DM 134.00
Literaturangaben
Quelle: DNB
Sølvberg, Arne: Information systems engineering
: an introduction / A. Sølvberg ; D. C. Kung. - Berlin : Springer, 1993. - XV, 540 S. : graph. Darst.; 25 cm
ISBN 978-3-540-56310-5 / 3-540-56310-5 Pp. : DM 98.00
Literaturverz. S. 527 - 535
Quelle: DNB
Integrated formal methods
: 4th international conference ; proceedings / IFM 2004, Canterbury, UK, April 4 - 7, 2004. Eerke A. Boiten ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2999)
ISBN 978-3-540-24756-2
Lizenzpflichtig
Quelle: DNB
Integrated formal methods
: 4th international conference ; proceedings / IFM 2004, Canterbury, UK, April 4 - 7, 2004. Eerke A. Boiten ... (ed.). - Berlin : Springer, 2004. - XI, 540 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2999)
ISBN 978-3-540-21377-2 / 3-540-21377-5 kart. : EUR 72.76
Literaturangaben
Quelle: DNB
Integrated formal methods
: third international conference ; proceedings / IFM 2002, Turku, Finland, May 15 - 18, 2002. M. Butler ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2335)
ISBN 978-3-540-47884-3
Lizenzpflichtig
Quelle: DNB
Integrated formal methods
: second international conference ; proceedings / IFM 2000, Dagstuhl Castle, Germany, November 2000. Wolfgang Grieskamp ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1945)
ISBN 978-3-540-40911-3
Lizenzpflichtig
Quelle: DNB
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
Ehmayer, Gerald: Java in der Anwendungsentwicklung
: Objektorientierung, Verteilung, Datenbanken / Gerald Ehmayer ; Siegfried Reich. - 1. Aufl. - Heidelberg : dpunkt-Verl., 1998. - XVI, 234 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-920993-84-3 / 3-920993-84-5 kart. : DM 59.00, sfr 52.00, S 431.00
Literaturverz. S. 203 - 211
Quelle: DNB
Mainstream objects
/ Yourdon .... - München : Prentice Hall, 1996. - 422 S. : graph. Darst.; 24 cm
ISBN 978-3-8272-9517-0 / 3-8272-9517-3 Pp. : DM 99.95
Quelle: DNB
