The Locator -- [(subject = "Electronic data processing--Congresses--Congresses")]
177
records matched your query
Record 78 |
Previous Record
|
MARC Display
|
Next Record
|
Search Results
Title:
Linear time, branching time, and partial order in logics and models for concurrency :
school/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 / J.W. de Bakker, W.-P de Roever, G. Rozenberg (eds.).
Publisher:
Springer-Verlag,
Copyright Date:
c1989
Description:
viii, 713 p. : ill. ; 25 cm.
Subject:
Electronic data processing--Congresses.--Congresses.
Parallel processing (Electronic computers)--Congresses.
Other Authors:
Bakker, J. W. de (Jacobus Willem), 1939-
Roever, W.-P. de.
Rozenberg, Grzegorz.
School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands)
Notes:
"Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"--Pref.
Series:
Lecture notes in computer science ; 354
ISBN:
9780387510804
038751080X
LCCN:
89006216
Locations:
USUX851 --
Iowa State University - Parks Library
(Ames)
OVUX522 --
University of Iowa Libraries
(Iowa City)
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.