Temporal Verification of Reactive Systems, Safety (1995. XVIII, 512 p. w. 181 ill. 24,5 cm)

109.99 USD
会員価格
99.00
Publisher
SPRINGER, BERLIN
Publication Date
-
ISBN
9780387944593
Pages
465
Item Type
Book
Format
Hardcover

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 50.00USD

Discount is applied at checkout.

Recently Viewed Items

Related Products