Location & Availability for: The Temporal Logic of Reactive and Concu

 Staff view

You must be logged in to Tag Records

The Temporal Logic of Reactive and Concurrent Systems [electronic resource] : Specification /

by Zohar Manna, Amir Pnueli.

Book Cover
Main Author: Manna, Zohar.
Other Names: Pnueli, Amir.
Published: New York, NY : Springer New York, 1992.
Topics: Computer science. | Computer Communication Networks. | Software engineering. | Logic design.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: The Temporal Logic of Reactive and Concu