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
Approfitta delle promozioni attive su questo prodotto:

€ 106,59

Venduto e spedito da IBS

107 punti Premium

Disponibile in 4/5 settimane

Quantità:
Aggiungi al carrello