Fachgebiet
Medium
  • 2
  • 1
Erscheinungsjahr
  • 1
  • 2
Autoren
  • 3
Verlag
  • 2
  • 1
Preis
  • 3
Sprachen
  • 3
Verfügbarkeit
  • 3
Katalog
  • 3
3  Treffer  für „Drusinsky, Doron“


    Drusinsky Modeling and Verification Using UML Statecharts

    A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
    Erscheinungsjahr 2011
    Verlag: Elsevier Science & Techn.
    ISBN: 978-0-08-048147-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    62,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Drusinsky Modeling and Verification Using UML Statecharts

    A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
    Erscheinungsjahr 2006
    Verlag: Elsevier Science
    ISBN: 978-0-7506-7949-7
    Medium: Buch
    79,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Drusinsky Modeling and Verification Using UML Statecharts

    A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
    Erscheinungsjahr 2006
    Verlag: Elsevier Science
    ISBN: 978-1-4933-0318-2
    Medium: Buch
    78,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular