Bokus
Doron Drusinsky - Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking, Häftad

Häftad, Engelska, 2006

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

Av Doron Drusinsky

674 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning
Produktinformation
  • Utgivningsdatum: 2006-04-15
  • Format: Häftad
  • Språk: Engelska
  • Antal sidor: 400
  • Förlag: Newnes
  • ISBN: 9781493303182
Utforska kategorier
  • Inga kategorier tillgängliga.
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.