Cover Image

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

Show other versions (1)
Bibliographic Details
Corporate Authors: International B Conference Besançon, France, SpringerLink (Online service)
Other Authors: Julliand, Jacques, Kouchnarenko, Olga
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2006]
Series:Lecture notes in computer science ; 4355.
Subjects:
B method (Computer science) > Congresses.
Debugging in computer science > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Publisher description

Similar Items