Topic
B (Computer program language)
13 books
UML-B Specification for Proven Embedded Systems Design
Jean Mermet
The B language and method: a guide to practical formal development
K. Lano.
Software engineering with B
J.B. Wordsworth.
Program development by refinement: case studies using the B method
E. Sekerinski and K. Sere (eds).
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings (Lecture Notes in Computer Science)
ZB 2002: formal specification and development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
Didier Bert ... [et al.] (eds.).
ZB 2005: formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
Helen Treharne ... [et al.] (eds.).
ZB 2000: formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings
Jonathan P. Bowen ... [et al.] (eds.).
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes in Computer Science)
Draft proposal for the B programming language: semi-formal definition
Lambert Meertens.
Showing 10 of 13 books