The Temporal Logic of Reactive and Concurrent Systems: Specification

by Amir Pnueli (Author), Amir Pnueli (Author), Zohar Manna (Author)

New
Illustrated
1991
$146.91

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.

Synopsis

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.

$146.91

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 441
Edition: 1992
Publisher: Springer
Published: 15 Dec 1991
ISBN 10: 0387976647
ISBN 13: 9780387976648

The Temporal Logic of Reactive and Concurrent Systems: Specification

New

$146.91

Synopsis

$146.91

More Information