Fisher, Michael

An Introduction to Practical Formal Methods Using Temporal Logic

2011 - John Wiley et Sons Ltd.

E-book EPUB

Compatible with Torrossa Reader (read more)

Fisher, Michael

An Introduction to Practical Formal Methods Using Temporal Logic

2011 - John Wiley et Sons Ltd.

650453 characters.

Information
ISBN: 9781119991465

Permalink: http://digital.casalini.it/9781119991465
DISCIPLINES
- Military and nautical engineering
- Military Engineering, Air Forces, Military Astronautics

EUR 105.74

VAT Excluded

EPUB

E-book

View the Terms of Use

Download

Copy/Paste

Printing