Limit search to items available for checkout
Save Marked Records Save All On Page
Call Numbers (1-2 of 2)
QA76.9.B22 I57 2007
1
c2006
BOOK
B 2007 : formal specification and development in B : 7th International Conference of B Users, Besanç
International B Conference (7th : 2007 : Besançon, France)
Berlin ; New York : Springer, c2006.

Copies / Volumes

2
c2006
BOOK
B 2007 : formal specification and development in B : 7th International Conference of B Users, Besanç
International B Conference (7th : 2007 : Besançon, France)
Berlin ; New York : Springer, c2006.

Copies / Volumes

Save Marked Records Save All On Page
Locate in results