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 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 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

Recent advances in the development and use of the B method

: proceedings / B'98, Second International B Conference, Montpellier, France, April 1998. Didier Bert (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1393)

ISBN 978-3-540-69769-5

Lizenzpflichtig

Quelle: DNB

Recent advances in the development and use of the B method

: proceedings / B'98, Second International B Conference, Montpellier, France, April 22 - 24, 1998. Didier Bert (ed.). - Berlin : Springer, 1998. - VIII, 311 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1393)

ISBN 978-3-540-64405-7 / 3-540-64405-9 kart. : DM 74.00

Literaturangaben

Quelle: DNB