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.).
Publication: Berlin ; New York : Springer-Verlag, c1990.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSF 90-598	Offsite

Holdings

Details

Additional Authors

Description

x, 808 p. : ill.; 25 cm.

Series Statement

Lecture notes in computer science ; 430

Subject

Electronic data processing > Distributed processing > Congresses

Bibliography (note)

Includes bibliographical references.

Call Number

JSF 90-598

ISBN

0387525599 (U.S.)

LCCN

90009723

OCLC

21377139
21377139

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.).

Imprint

Berlin ; New York : Springer-Verlag, c1990.

Series

Lecture notes in computer science ; 430

Bibliography

Includes bibliographical references.

Added Author

Bakker, J. W. de (Jacobus Willem), 1939-

Roever, W.-P. de, 1943-

Rozenberg, Grzegorz.

Research Call Number

JSF 90-598

View in Legacy Catalog