Start Over Return To Browse Limit/Sort
     
Limit search to available items
Save marked records Save all on page
TITLES (1-2 of 2)
Texts and monographs in computer science
1
Mark
  Specification and transformation of programs : a formal approach to software development.
Partsch, Helmut A.
Berlin : Springer-Verlag, 1990.   		1990
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.76 D47 P2  8 WEEK LOAN  AVAILABLE
2
Mark
  Verification of sequential and concurrent programs
Apt, Krzysztof R., 1949-
New York : Springer-Verlag, 1991.   		1991
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.76 V47 A6  8 WEEK LOAN  AVAILABLE
Save marked records Save all on page
Locate in results
Start Over Return To Browse Limit/Sort