Limit search to available items
Save marked records Save all on page
SUBJECTS (1-5 of 5)
Computer Software Verification
1
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
2
Mark
  Verification of sequential and concurrent programs
Apt, Krzysztof R., 1949-
New York : Springer, 1997.  
1997
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.76 V47 A6  8 WEEK LOAN  AVAILABLE
Computer Software Verification Congresses
3
Mark
  25 years of model checking : history, achievements, perspectives

Berlin : Springer, c2008.  
c2008
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.76 V47 T9  8 WEEK LOAN  DUE 11-04-24
Computer Sound Processing
4
Mark
  Any sound you can imagine : making music/consuming technology
Théberge, Paul.
Hanover, N.H. : University Press of New England, c1997.  
c1997
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 6th Floor  ML 1092 T3  8 WEEK LOAN  AVAILABLE
5
Mark
  Audio for games : planning, process, and production
Brandon, Alexander.
Berkeley, Calif. : New Riders Games, c2005.  
c2005
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL Reading Room 1st floor HDC  TK 7881.4 B8  4 WEEK LOAN  AVAILABLE
Save marked records Save all on page
Locate in results