Modeling and verification using UML statecharts: a working guide to reactive system design, runtime monitoring, and execution-based model checking
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Drusinsky, Doron (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Amsterdam u. a. Elsevier 2006
Schlagworte:
Online-Zugang:Table of contents only
Publisher description
Inhaltsverzeichnis
Beschreibung:XII, 306 S. graph Darst. 1 CD-ROM (12 cm)
ISBN:0750679492
9780750679497

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis