Normal view MARC view ISBD view

Linear time,branching time and partial order in logics and models for concurrency : proceedings

5.131
Sch372

109806

Bakker J W de School/Workshop on Linear time,Branching time and Partial Order in Logics and Models for Concurrency( 1988 : Netherlands ) School/Workshop on Linear time,Branching time and Partial Order in Logics and Models for Concurrency , Netherlands 1988 Linear time,branching time and partial order in logics and models for concurrency : proceedings Berlin Springer Verlag 1989
viii,713p * Branching time Computer science Linear time

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)