Search Results


Related Books

Logics and Models of Concurrent Systems (Volume 13).
Language: en
Pages:
Authors: EM. Clarke
Categories:
Type: BOOK - Published: 1985 - Publisher:

DOWNLOAD EBOOK

Logics and Models of Concurrent Systems
Language: en
Pages: 514
Authors: Krzysztof R Apt
Categories:
Type: BOOK - Published: 1985-07-01 - Publisher:

DOWNLOAD EBOOK

Logics and Models of Concurrent Systems
Language: en
Pages: 522
Authors: Krzysztof R. Apt
Categories: Reference
Type: BOOK - Published: 1985 - Publisher: Springer

DOWNLOAD EBOOK

Logic, Algebra, and Computation
Language: en
Pages: 493
Authors: Friedrich L. Bauer
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The Marktoberdorf Summer Schools on Informatics were started in 1970, with the intention to convene every second or third year a group of top researchers in com
Modeling and Verification of Parallel Processes
Language: en
Pages: 228
Authors: Franck Cassez
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD EBOOK

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP
Scroll to top