Modeling and Verification of Real-Time Systems 1
bokomslag Modeling and Verification of Real-Time Systems

Modeling and Verification of Real-Time Systems

Nicolas Navet • Stephan Merz

Inbunden

3629:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Denna produkt går inte att reservera, köp den gärna online!

  • 448 sidor
  • 2008
  • Författare: Nicolas Navet, Stephan Merz
  • Format: Inbunden
  • ISBN: 9781848210134
  • Språk: Engelska
  • Antal sidor: 448
  • Utgivningsdatum: 2008-04-01
  • Förlag: Wiley

Du kanske gillar

Andra av samma författare