Start Over Please hold this item Export MARC Display Return To Browse
 
     
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

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

Links and services for this item: