Skip to content
Marketplace

Marketplace listings for: Temporal Logic of Reactive and Concurrent Systems Specification

ISBN-10: 1461269504
ISBN-13: 9781461269502
Edition: 1992

New

Seller: Alibris Marketplace (73% rating)
Ships from: CA, United States
$55.74 + $2.99 shipping
Add to cart
Seller notes: Trade paperback (US). Glued binding. 427 p.

New

Seller: Alibris Marketplace (73% rating)
Ships from: CA, United States
$55.74 + $2.99 shipping
Add to cart
Seller notes: Trade paperback (US). Glued binding. 427 p.