The Temporal Logic of Reactive and Concurrent Systems

Name: The Temporal Logic of Reactive and Concurrent Systems
SKU: 2043016
Price: 320.00 NZD
Availability: InStock

Specification

By:

Format:

Hardback

Show Hide Adult Content

$320.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $80.00 with Afterpay Learn more

6 weekly interest-free payments of $53.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 25 Jun - 5 Jul using International Courier

Description

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.

Release date NZ

December 18th, 1991

Author

Audience

General (US: Trade)

Illustrations

XIV, 427 p.

Pages

427

Dimensions

156x234x25

ISBN-13

9780387976648

Product ID

2043016

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here