The Locator -- [(subject = "Electronic data processing--Congresses--Congresses")]

177 records matched your query       

Record 63 | Previous Record | MARC Display | Next Record | Search Results
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.).
Publisher:
Springer-Verlag,
Copyright Date:
c1990
Description:
x, 808 p. : ill. ; 25 cm.
Subject:
Electronic data processing--Congresses.--Congresses.
Other Authors:
Bakker, J. W. de (Jacobus Willem), 1939-
Roever, W.-P. de.
Rozenberg, Grzegorz.
Notes:
Includes bibliographical references.
Series:
Lecture notes in computer science ; 430
ISBN:
9780387525594 (U.S.)
0387525599 (U.S.)
LCCN:
90009723
Locations:
USUX851 -- Iowa State University - Parks Library (Ames)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.