Abstract state machines, B and Z
: first international conference ; proceedings / ABZ 2008, London, UK, September 16 - 18, 2008. Egon Börger ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5238)
ISBN 978-3-540-87603-8
Lizenzpflichtig
Quelle: DNB
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 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
The Z formal specification notation
: proceedings / ZUM '98, 11th International Conference of Z Users, Berlin, Germany, September 24 - 26, 1998. Jonathan P. Bowen ... (ed.). - Berlin : Springer, 1998. - XV, 415 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1493)
ISBN 978-3-540-65070-6 / 3-540-65070-9 kart. : DM 90.00
Literaturangaben
Quelle: DNB
