B 2007:Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings Author:  Jacques Julliand (Editor), Olga Kouchnarenko (Editor) Format:  Paperback Publish Date:  February 2007 ISBN-10:  3540687602 ISBN-13:  9783540687603 List Price:  $69.95

For the best price: or just Pages: 292 Publisher: Springer-Verlag New York Inc Add this book to your wish list | View your wish list | Link to this book Click on this books subject categories to see related titles: Subjects : COMPUTERS : Programming / General Subjects : COMPUTERS : Programming / Software Development Subjects : COMPUTERS : Computer Science : Debugging in computer science Add your own review! Book Details Summary: The title of this book is B 2007:Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings and it was written by Jacques Julliand (Editor), Olga Kouchnarenko (Editor). This edition of B 2007:Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings is in a Paperback format. This books publish date is February 2007 and it has a suggested retail price of $69.95. There are 292 pages in the book and it was published by Springer-Verlag New York Inc. The 10 digit ISBN is 3540687602 and the 13 digit ISBN is 9783540687603.