2011 - John Wiley et Sons Ltd.
E-book EPUB
Compatible only with Torrossa Reader (read more)
An Introduction to Practical Formal Methods Using Temporal Logic
650453 characters.
-
Information
Your store for digital research texts
ID: 5767755
VAT Excluded
EPUB Permissions