B 2007: formal specification and development in B
: proceedings / 7th International Conference of B Users, Besançon, France, January 17 - 19, 2007. Jacques Julliand ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4355)
ISBN 978-3-540-68761-0
Lizenzpflichtig
Quelle: DNB
Lano, Kevin: The B language and method
: a guide to practical formal development / K. Lano. - London : Springer, 1996. - 232 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76033-7 / 3-540-76033-4 kart. : DM 78.00
Literaturverz. S. 199 - 202
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
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
Logic based program synthesis and transformation
: 9th international workshop ; selected papers / LOPSTR '99, Venice, Italy, September 22 - 24, 1999. Annalisa Bossi (ed.). - Berlin : Springer, 2000. - VIII, 312 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1817)
ISBN 978-3-540-67628-7 / 3-540-67628-7 kart. : DM 82.00
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
