Start Over Return To Browse Limit/Sort
     
Limit search to available items
Save marked records Save all on page
AUTHORS (1-2 of 2)
Bottaci Leonardo
1
Mark
  Formal specification using Z : a modelling approach.
Bottaci, Leonardo.
London : International Thomson, 1995.   		1995
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.7 Z1 B7  8 WEEK LOAN  AVAILABLE
 BJL 3rd Floor  QA 76.7 Z1 B7  8 WEEK LOAN  AVAILABLE
2
Mark
  Knowledge-based systems : a review
Bottaci, Leonardo.
Hull : University of Hull, Department of Computer Science, 1989.   		1989
BOOK
Save marked records Save all on page
Locate in results
Start Over Return To Browse Limit/Sort