IMSc Library catalog › ISBD view

Normal view MARC view ISBD view

de Bakker, J.W Ed. de Roever, W.P. Ed. Rozenberg,G. Ed.

Linear time, branching time and partial order in logics and models for concurrency : - Berlin Springer-Verlag 1989 - 7132 - Lecture notes in computer science ; 00354 .

ISBN: 354051080X

Subjects--Topical Terms:
Logic
Concurrency Models

Universal Decimal Class. No.: 681 LNCS

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

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