The Temporal Logic of Reactive and Concurrent Systems: Specification - Zohar Manna - Books - Springer-Verlag New York Inc. - 9780387976648 - December 18, 1991
In case cover and title do not match, the title is correct

Zohar Manna
The Temporal Logic of Reactive and Concurrent Systems: Specification 1992 edition

Price
$ 116.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

427 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 18, 1991
ISBN13 9780387976648
Publishers Springer-Verlag New York Inc.
Pages 427
Dimensions 241 × 166 × 31 mm   ·   798 g
Language English  

More by Zohar Manna

Show all

Mere med samme udgiver

See all of Zohar Manna ( e.g. Paperback Book and Hardcover Book )