Limit search to available items
Save marked records Save all on page
BJL CLASSMARKS (1-2 of 2)
QA 76.6 B1
1
Mark
  Functional programming with HOPE.
Bailey, Roger.
New York : Horwood, 1990.  
1990
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.6 B1  8 WEEK LOAN  AVAILABLE
2
Mark
  Mathematical theory of program correctness ...
Bakker, J.W. de.
Englewood Cliffs, N.J. : Prentice-Hall International, 1980.  
1980
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.6 B1  8 WEEK LOAN  AVAILABLE
Save marked records Save all on page
Locate in results