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
Record:
Corporate Author
REX Workshop (1989: Mook, The Netherlands)
Title
Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, The Netherlands, May 29-June 2, 1989 : proceedings / edited by J.W. de Bakker, W.P. de Roever, G. Rozenberg.
Publication Info
Berlin : Springer-Verlag, 1990.
Location/Availability
More Details
Full Record
Web View
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76.9 D5 S8
8 WEEK LOAN
AVAILABLE
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Descript
808p.
ISBN
3540525599
Click on the terms below to find similar items in the catalogue
Corporate Author
REX Workshop (1989: Mook, The Netherlands)
Series
Lecture notes in computer science; 430
Alt author
Bakker, Jacobus Willem de.
Roever, W.P. de.
Rozenberg, G.
Descript
808p.
ISBN
3540525599
Corporate Author
REX Workshop (1989: Mook, The Netherlands)
Series
Lecture notes in computer science; 430
Alt author
Bakker, Jacobus Willem de.
Roever, W.P. de.
Rozenberg, G.
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
QA 76.9 D5 S8
8 WEEK LOAN
AVAILABLE
Descript
808p.
Alt author
Bakker, Jacobus Willem de.
Roever, W.P. de.
Rozenberg, G.
ISBN
3540525599
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Links and services for this item:
Persistent link to this item
Click link and copy URL from browser navigation toolbar