Fisher, Michael

An Introduction to Practical Formal Methods Using Temporal Logic

2011 - John Wiley et Sons Ltd.

E-book EPUB

Compatible solo con Torrossa Reader (leer más)

Fisher, Michael

An Introduction to Practical Formal Methods Using Temporal Logic

2011 - John Wiley et Sons Ltd.

650453 characters.

Información
ISBN: 9781119991465

Permalink: http://digital.casalini.it/9781119991465
MATERIAS
- Ingeniería militar y náutica
- Military Engineering, Air Forces, Military Astronautics

EUR 105,74

IVA excluido

EPUB

Consulta las condiciones de uso

Download

Copiar pegar

Impresión

Área de trabajo