My Library

University LibraryCatalogue

For faster,
simpler
access.
Use Lean
Library.
Get it now
Don't show me again
     
Limit search to items available for borrowing or consultation
Save Marked Record Save All Records Save Marked to My Lists
AUTHORS (1-2 of 2)
International B Conference 2007 :
1
Cover Art
    E-RESOURCE c2006

B 2007 formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings / [electronic resource] : Jacques Julliand, Olga Kouchnarenko (eds.).

    International B Conference (7th : 2007 : Besançon, France)
Berlin ; New York : Springer,        1 online resource (xiii, 292 p.) : ill. c2006
2
Cover Art
    E-RESOURCE 2006

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.).

    International B Conference (7th : 2007 : Besançon, France)
Berlin ; New York : Springer,        xiii, 292 pages : illustrations ; 24 cm. 2006
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove