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
BJL CLASSMARKS (1-10 of 10)
QA 76.76 V47 A6
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
QA 76.76 V47 F8
3
Mark
Program verification.
Nissim, Francez.
Wokingham : Addison-Wesley, 1992.
1992
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76.76 V47 F8
8 WEEK LOAN
AVAILABLE
QA 76.76 V47 H7
4
Mark
Software reviews and audits handbook.
Hollocker, Charles P.
New York : Wiley, 1990.
1990
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76.76 V47 H7
8 WEEK LOAN
AVAILABLE
QA 76.76 V47 T9
5
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 30-05-24
QA 76.76 W56 G6
6
Mark
The News book - an introduction to the network/extensible window system
Gosling, James.
New York : Springer, 1989.
1989
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76.76 W56 G6
8 WEEK LOAN
AVAILABLE
QA 76.76 W56 S3
7
Mark
X window system : the complete reference to Xlib, X Protocol, ICCCM, XLFD
Scheifler, Robert W.
Burlington, MA. : Digital Press, 1992.
1992
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76.76 W56 S3
8 WEEK LOAN
AVAILABLE
QA 76.76 W8
8
Mark
Hypertext and hypermedia : theory and applications.
Woodhead, Nigel.
Wilmslow : Sigma Press. Addison-Wesley, 1991.
1991
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76.76 W8
8 WEEK LOAN
AVAILABLE
QA76.77 .S5
9
Mark
Operating system concepts
Silberschatz, Abraham, author.
Hoboken, N.J. : Wiley, [2019]
2019
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL Reading Room 1st floor HDC
QA76.77 .S5
4 WEEK LOAN
AVAILABLE
QA76.77 .S73
10
Mark
Operating systems : internals and design principles
Stallings, William, author.
Harlow, Essex : Pearson, [2018]
2018
BOOK
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL Reading Room 1st floor HDC
QA76.77 .S73
4 WEEK LOAN
AVAILABLE
BJL Reading Room 1st floor HDC
QA76.77 .S73
4 WEEK LOAN
AVAILABLE
BJL Reading Room 1st floor HDC
QA76.77 .S73
4 WEEK LOAN
AVAILABLE
Click to view copies/volumes at all libraries