Temporal Verification of Reactive Systems: Safety
Manna, Zohar; Pnueli, Amir
From BennettBooksLtd, North Las Vegas, NV, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 17 April 2008
New - Hardcover
Quantity: 1 available
Add to basket