Il libro è attualmente esaurito

Model checking nondeterministic and randomly timed systems

Autori

Martin R. Neuhäußer

Parametri

Computer, IT, programmazione

Acquisto del libro

Model checking nondeterministic and randomly timed systems, Martin R. Neuhäußer

Lingua
Pubblicato: 2010

Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione

Dettagli dell'edizioneSuggerisci una correzione