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 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
High integrity system specification and design
/ Jonathon P. Bowen and Michael G. Hinchey. - London : Springer, 1999. - XIX, 701 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76226-3 / 3-540-76226-4 kart. : DM 195.00
Literaturangaben
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
The Z formal specification notation
: proceedings / ZUM '97, 10th International Conference of Z Users, Reading, UK, April 3 - 4, 1997. Jonathan P. Bowen ... (ed.). - Berlin : Springer, 1997. - X, 433 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1212)
ISBN 978-3-540-62717-3 / 3-540-62717-0 kart. : DM 90.00
Literaturangaben
Quelle: DNB
The Z-formal specification notation
: proceedings / ZUM '95, 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Jonathan P. Bowen ; Michael G. Hinchey (ed.). - Berlin : Springer, 1995. - XI, 569 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 967)
ISBN 978-3-540-60271-2 / 3-540-60271-2 kart. : DM 110.00
Literaturangaben
Quelle: DNB
Z-User Workshop
: Cambridge 1994 ; proceedings of the Eighth Z User Meeting, Cambridge, 29 - 30 June 1994 / J. P. Bowen and J. A. Hall (ed.). Publ. in collab. with the British Computer Society. - London : Springer, 1994. - X, 403 S. : graph. Darst.; 24 cm - (Workshops in Computing)
ISBN 978-3-540-19884-0 / 3-540-19884-9 kart. : DM 98.00
Literaturangaben
Quelle: DNB
