An edition of Logics and models of concurrent systems (1985)

Logics and models of concurrent systems

by

Cover of: Logics and models of concurrent systems by NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 La Colle-sur-Loup, France), NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 La Colle-sur-Loup, France)
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 5, 2019 | History
Edit
An edition of Logics and models of concurrent systems (1985)

Logics and models of concurrent systems

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
498

Check nearby libraries

Buy this book

Subjects

Congresses, Distributed processing, Electronic data processing, Parallel processing (Electronic computers), Système, Parallelverarbeitung, Concurrence, Systèmes à paramètres répartis, Modélisation, Kongress, Programme concurrent, Logique temporelle, Système réparti, Traitement parallèle, Parallélisme (informatique)
Edition Availability
Cover of: Logics and models of concurrent systems
Logics and models of concurrent systems
1985, Springer-Verlag
in English

Add another edition?

Book Details

Edition Notes

"Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 October 1984"--T.p. verso.
"Published in cooperation with NATO Scientific Affairs Division."

Published in
Berlin, New York
Series
NATO ASI series. Series F, Computer and system sciences ;, vol. 13, NATO ASI series., no. 13.

Classifications

Dewey Decimal Class
001.64
Library of Congress
QA76.5 .N16 1984

The Physical Object

Pagination
viii, 498 p. :
Number of pages
498

Edition Identifiers

Open Library
OL3027640M
ISBN 10
0387151818
LCCN
85008092
Goodreads
1732974

Work Identifiers

Work ID
OL5478136W

Source records

Library of Congress MARC record
Internet Archive item record
Library of Congress MARC record
Promise Item

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
July 5, 2019 Edited by MARC Bot import existing book
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page