The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture ... / Programming and Software Engineering)

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture ... / Programming and Software Engineering)

by JacquesJulliand (Editor), OlgaKouchnarenko (Editor)

  • New

    Paperback 2006

    $74.40
Synopsis

This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besancon, France, January 2007.

$74.40

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 306
 Publisher: Springer
Published: 14 Dec 2006
ISBN 10: 3540687602
ISBN 13: 9783540687603