2011 - John Wiley et Sons Ltd.
eBook EPUB
Nur mit Torrossa Reader kompatibel (lesen Sie mehr)
An Introduction to Practical Formal Methods Using Temporal Logic
650453 characters.
-
Informationen
ISBN: 9781119991465
650453 characters.
ISBN: 9781119991465
EPUB