bokomslag Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
Vetenskap & teknik

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking

Doron Drusinsky

Häftad

859:-

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

Uppskattad leveranstid 7-12 arbetsdagar

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

  • 400 sidor
  • 2006
  • Författare: Doron Drusinsky
  • Format: Häftad
  • ISBN: 9781493303182
  • Språk: Engelska
  • Antal sidor: 400
  • Utgivningsdatum: 2006-04-15
  • Förlag: Newnes