Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next 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 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