Start Over Return To Browse Limit/Sort
     
Limit search to available items
Save marked records Save all on page
AUTHORS (1-2 of 2)
Barnes J G P John Gilbert Presslie
1
Mark
  High integrity Ada : the SPARK approach
Barnes, J. G. P. (John Gilbert Presslie)
Harlow : Addison-Wesley, 1997.   		1997
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.73 A2 B2  8 WEEK LOAN  AVAILABLE
2
Mark
  Programming in Ada 95.
Barnes, J. G. P. (John Gilbert Presslie)
Reading, Mass. : Addison-Wesley, 1998.   		1998
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.73 A2 B2  8 WEEK LOAN  AVAILABLE
Save marked records Save all on page
Locate in results
Start Over Return To Browse Limit/Sort