Start Over Return To Browse Limit/Sort
     
Limit search to available items
Save marked records Save all on page
SUBJECTS (1-2 of 2)
Formal Methods Computer Science
1
Mark
  Formal software development : from VDM to Java
Charatan, Quentin.
Basingstoke : Palgrave Macmillan, c2004.   		c2004
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL Reading Room Mezzanine  005.1 CHA  4 WEEK LOAN  AVAILABLE
2
Mark
  Z : an introduction to formal methods.
Diller, Antoni.
Chichester : Wiley & Sons, 1994.   		1994
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.73 Z1 D5  8 WEEK LOAN  AVAILABLE
Save marked records Save all on page
Locate in results
Start Over Return To Browse Limit/Sort