Limit search to items available for checkout
BOOK
Title B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings / Jacques Julliand, Olga Kouchnarenko (eds.).
Imprint Berlin ; New York : Springer, c2006.

Copies/Volumes

LOCATION CALL # STATUS
 Main Stacks  QA76.9.B22 I57 2007    AVAILABLE
Description xiii, 292 p. : ill. ; 24 cm.
Series Lecture notes in computer science ; 4355.
Bibliog. Includes bibliographical references and index.
Subject B method (Computer science) -- Congresses.
Debugging in computer science -- Congresses.
Other Author Julliand, Jacques.
Kouchnarenko, Olga.
Other Title 7th International Conference of B Users.
Seventh International Conference of B Users.
International Conference of B Users.