Library
Your session will expire automatically in
0
seconds.
Continue session
End session now
SearchType
TITLE
KEYWORD
AUTHOR
SUBJECT
BJL CLASSMARK
KDL CLASSMARK
PERIODICAL TITLE
ISN
RESOURCE NAME
RESOURCE SUBJECT
Search
Search Scope
BJL, Hull
KDL, Scarborough
All Libraries
Limit search to available items
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