Fisher, Michael

An Introduction to Practical Formal Methods Using Temporal Logic

2011 - John Wiley et Sons Ltd.

E-book EPUB

Consultabile con Torrossa Reader (scopri come)

Fisher, Michael

An Introduction to Practical Formal Methods Using Temporal Logic

2011 - John Wiley et Sons Ltd.

650453 characters.

Informazioni
ISBN: 9781119991465

Permalink: http://digital.casalini.it/9781119991465
MATERIE
- Ingegneria militare e navale
- Military Engineering, Air Forces, Military Astronautics

EUR 105,74

Iva esclusa

EPUB

E-book

Leggi le condizioni d'uso

Download

Copia/Incolla

Stampa