An Introduction to Practical Formal Methods Using Temporal Logic

Michael Fisher

Anno: 2011
Rilegatura: Hardback
Pagine: 360 p.
Testo in English
Dimensioni: 252 x 174 mm
Peso: 790 gr.
  • EAN: 9780470027882

€ 100,39

€ 107,95

Risparmi € 7,56 (7%)

Venduto e spedito da IBS

100 punti Premium

Disponibile in 4/5 settimane

Quantità: