Bollig, Benedikt: Formal models of communicating systems
: languages, automata, and monadic second-order logic ; with 6 tables / Benedikt Bollig. - Berlin : Springer, 2006. - IX, 181 S. : graph. Darst.; 24 cm
ISBN 978-3-540-32922-0 / 3-540-32922-6 Pp. : EUR 53.45 (freier Pr.), ca. sfr 85.00 (freier Pr.)
Literaturverz. S, 165 - 171
Quelle: DNB Verlagsmeldungen
Lano, Kevin: Formal object oriented development
/ Kevin Lano. - London : Springer, 1995. - 422 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-19978-6 / 3-540-19978-0 kart. : DM 74.00
Literaturverz. S. 318 - 331
Quelle: DNB
Formal power series and algebraic combinatorics
: 12th international conference ; proceedings / FPSAC '00, Moscow, Russia, June 2000. Daniel Krob ... (ed.). - Berlin : Springer, 2000. - XIV, 808 S. : graph. Darst.; 24 cm
ISBN 978-3-540-67247-0 / 3-540-67247-8 Pp. : DM 198.00
Literaturangaben
Quelle: DNB
Formal program development
: IFIP TC 2/WG 2.1 state of the art report / IFIP. Bernhard Möller ... (ed.). - Berlin : Springer, 1993. - 371 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 755)
ISBN 978-3-540-57499-6 / 3-540-57499-9 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Formal software development methods
/ VDM '91, Noordwijkerhout, The Netherlands, October 21 - 25, 1991. S. Prehn ; H. Toetenel (ed.). - Berlin : Springer, 1991. - XIV, 430 S. : graph. Darst. - (Lecture notes in computer science; Vol. 552)
ISBN 978-3-540-54868-3 / 3-540-54868-8 kart. : DM 61.00
Quelle: DNB
Formal software development methods
/ VDM '91, Noordwijkerhout, The Netherlands, October 21 - 25, 1991. S. Prehn ; H. Toetenel (ed.). - Berlin : Springer, 1991. - XII, 698 S. : graph. Darst. - (Lecture notes in computer science; Vol. 551)
ISBN 978-3-540-54834-8 / 3-540-54834-3 kart. : DM 102.00
Quelle: DNB
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. Didier Bert ... (ed.). - Berlin : Springer, 2002. - XII, 534 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2272)
ISBN 978-3-540-43166-4 / 3-540-43166-7 kart. : EUR 64.20
Literaturangaben
Quelle: DNB
Formal specification and development in Z and B
: proceedings / ZB 2000, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000. Jonathan P. Bowen ... (ed.). - Berlin : Springer, 2000. - XIV, 510 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1878)
ISBN 978-3-540-67944-8 / 3-540-67944-8 kart. : DM 114.00
Literaturangaben
Quelle: DNB
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
