Research Catalog

Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings /

Title
Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.).

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextUse in library QA76.9.D5 S75 1990Off-site

Details

Additional Authors
  • Bakker, J. W. de (Jacobus Willem), 1939-
  • Roever, W.-P. de, 1943-
  • Rozenberg, Grzegorz.
Description
x, 808 p.; 25 cm.
Subject
ISBN
0387525599 (U.S.)
LCCN
90009723
Owning Institutions
Princeton University Library