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
AUTHORS (1-3 of 3)
Hoare Charles Antony Richard
1
Mark
Developments in concurrency and communication
Reading, Mass : Addison-Wesley, 1990.
1990
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76.58 D4
8 WEEK LOAN
AVAILABLE
2
Mark
Structured programming
Dahl, Ole-Johan.
London : Academic Press, 1972.
1972
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76.6 D1
8 WEEK LOAN
AVAILABLE
3
Mark
VDM '90 : VDM and Z : formal methods in software development : third International Symposium of VDM
Berlin : Springer-Verlag, 1990.
1990
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76.758 V6
8 WEEK LOAN
AVAILABLE