2011 - John Wiley et Sons Ltd.
E-book EPUB
Pris en charge uniquement par Torrossa Reader (voir détails)
An Introduction to Practical Formal Methods Using Temporal Logic
650453 characters.
-
Informations
ISBN: 9781119991465
650453 characters.
ISBN: 9781119991465
EPUB