The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Manna, Amir Pnueli (Hardback, 1991)


OUR TOP PICK

£135.88

Quantity
More than 10 available
Condition
New
Sold by
Business seller: grey_elk_books_au_and_uk (84284)99.7% positive Feedback
Returns
Buyer pays return postage