An edition of B 2007 (2007)
B 2007: Formal Specification and Development in B
7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture Notes in Computer Science)
By
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
February 1, 2007
Publisher
Springer
Language
eng
Pages
293
1-1 of 1 Editions
B 2007: Formal Specification and Development in B7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture Notes in Computer Science)
Language: eng
Pages: 293
Published In: February 1, 2007
Publisher: Springer