2011 - John Wiley et Sons Ltd.
ID: 5767755
E-book EPUB
Compatible only with Torrossa Reader (read more)
An Introduction to Practical Formal Methods Using Temporal Logic
650453 characters.
-
Information
VAT Excluded
EPUB View the Terms of Use