Shopping cart

Subtotal: $112.54

1 item

Checkout

You saved $0.00

Price

Qty.

Temporal Logic of Reactive and Concurrent Systems Specification Product image

$112.54 $54.99

Update Remove

9781461269502 / 1461269504

U.S. Edition

Brand New

By Zohar Manna, Amir Pnueli

Springer New York - Manna, Zohar

Ships from TextbookRush

Empty cart Save cart

Subtotal: $112.54

1 item

Checkout

Estimate shipping cost:

Calculate

* These prices are estimates only. You will be able to select your shipping speed and see the final price during checkout.

Rewards members receive:

+113 +113