Shopping cart

Subtotal: $55.74

1 item

Checkout

You saved $0.00

Price

Qty.

Temporal Logic of Reactive and Concurrent Systems Specification Product image

$55.74 $54.99

Update Remove

9781461269502 / 1461269504

U.S. Edition

Brand New

By Zohar Manna, Amir Pnueli

Springer New York - Manna, Zohar

Ships from Marketplace Seller: Alibris Marketplace

Marketplace items are not eligible for free shipping.

Empty cart Save cart

Subtotal: $55.74

1 item

Checkout

Rewards members receive:

+56 +56