The Temporal Logic of Reactive and Concurrent Systems: Specification, (Hardcover)

Name: The Temporal Logic of Reactive and Concurrent Systems: Specification, (Hardcover)
Brand: Zohar Manna
SKU: prod_9d5ae421db95bf25935666b5
Price: 145.00 USD
Availability: InStock

The Temporal Logic of Reactive and Concurrent Systems: Specification, (Hardcover) Author: Springer ISBN: 9780387976648 Format: Hardcover Publication Date: 1991-12-18 Page Count: 427

Shipping & Returns

Price unavailable

The Temporal Logic of Reactive and Concurrent Systems: Specification, (Hardcover)—

$145.00

Price unavailable

The Temporal Logic of Reactive and Concurrent Systems: Specification, (Hardcover)—

$145.00