Items related to The Temporal Logic of Reactive and Concurrent Systems...

The Temporal Logic of Reactive and Concurrent Systems Specification - Hardcover

Manna, Zohar; Pnueli, Amir

 
9783540976646: The Temporal Logic of Reactive and Concurrent Systems Specification
Hardcover
ISBN 10: 3540976647 ISBN 13: 9783540976646
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1992

This specific ISBN edition is currently not available.

Synopsis

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems and control systems. These are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems, and this volume (the first of two), offers an introduction to temporal logic and to the computational model for reactive programs which has been developed by the authors.

"synopsis" may belong to another edition of this title.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9780387976648: The Temporal Logic of Reactive and Concurrent Systems: Specification

Featured Edition

ISBN 10:  0387976647 ISBN 13:  9780387976648
Publisher: Springer, 1991
Hardcover