Formal specification and development in Z and B
: proceedings / ZB 2002, 2nd International Conference of B and Z Users, Grenoble, France, January 23 - 25, 2002. D. Bert ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2272)
ISBN 978-3-540-45648-3
Lizenzpflichtig
Quelle: DNB
Formal specification and development in Z and B
: proceedings / ZB 2000, First International Conference of B and Z Users, York, UK, August/September 2000. J. P. Bowen ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1878)
ISBN 978-3-540-44525-8
Lizenzpflichtig
Quelle: DNB
Formal specification and development in Z and B
: proceedings / ZB 2003, Third International Conference of B and Z Users, Turku, Finland, June 4 - 6, 2003. Didier Bert ... (ed.). - Berlin : Springer, 2003. - XIII, 545 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2651)
ISBN 978-3-540-40253-4 / 3-540-40253-5 kart. : EUR 70.62
Literaturangaben
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 5th international symposium ; proceedings / FTRTFT '98, Lyngby, Denmark, September 14 - 18, 1998. Anders P. Ravn ; Hans Rischel (ed.). - Berlin : Springer, 1998. - VIII, 338 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1486)
ISBN 978-3-540-65003-4 / 3-540-65003-2 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 7th international symposium ; proceedings / FTRTFT 2002 ..., Oldenburg, Germany, September 9 - 12, 2002. W. Damm ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2469)
ISBN 978-3-540-45739-8
Lizenzpflichtig
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 6th international symposium ; proceedings / FTRTFT 2000, Pune, India, September 20 - 22, 2000. M. Joseph (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1926)
ISBN 978-3-540-45352-9
Lizenzpflichtig
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 5th international symposium ; proceedings / FTRTFT '98, Lyngby, Denmark, September 1998. A. P. Ravn ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1486)
ISBN 978-3-540-49792-9
Lizenzpflichtig
Quelle: DNB
Formal techniques in real time and fault tolerant systems
: 6th international symposium ; proceedings / FTRTFT 2000, Pune, India, September 20 - 22, 2000. Mathai Joseph (ed.). - Berlin : Springer, 2000. - X, 303 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1926)
ISBN 978-3-540-41055-3 / 3-540-41055-4 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Sonnenholzner, Johannes: Formen und Folgen der Softwaregestaltung
: digitale Transformation am Beispiel der deutschen Energiewirtschaft / Johannes Sonnenholzner. - Bielefeld : transcript, 2025. - 377 Seiten : Illustrationen; 24 cm, 623 g - (Arbeit und Organisation; 19)
ISBN 978-3-8376-7688-4 / 3-8376-7688-9 Broschur : EUR 49.00 (DE), EUR 50.40 (AT), CHF 59.80 (freier Preis)
Quelle: DNB
Draheim, Dirk: Form oriented analysis
: a new methodology to model form based applications / Dirk Draheim ; Gerald Weber. - Berlin : Springer, 2005. - XVII, 372 S. : graph. Darst.; 24 cm
ISBN 978-3-540-20593-7 / 3-540-20593-4 Pp. : EUR 64.15
Literaturverz. S. 351 - 366
Quelle: DNB Verlagsmeldungen
