Temporal Verification of Reactive Systems: Safety, (Hardcover)

Name: Temporal Verification of Reactive Systems: Safety, (Hardcover)
Brand: Zohar Manna
SKU: prod_4c0872f560a4ecacd82be551
Price: 148.00 USD
Availability: InStock

Temporal Verification of Reactive Systems: Safety, (Hardcover) Author: Springer ISBN: 9780387944593 Format: Hardcover Publication Date: 1995-08-04 Page Count: 512

Shipping & Returns

Price unavailable

Temporal Verification of Reactive Systems: Safety, (Hardcover)—

$148.00

Price unavailable

Temporal Verification of Reactive Systems: Safety, (Hardcover)—

$148.00