B 2007

An edition of B 2007 (2006)

B 2007

formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings

By International B Conference (7th 2007 Besançon, France)

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

2006

Publisher

Springer

Language

eng

Pages

292

Description:

subjects: Congresses, B method (Computer science), Debugging in computer science