Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking

Saved in:
Bibliographic Details
Main Author Drusinsky, Doron
Format Book
LanguageEnglish
Published Oxford : Newnes, 2006
Subjects
UML (Modelovací jazyk)
modelovací jazyky
software
elektronické knihy
Online AccessFull text
ISBN9780750679497
0750679492
Physical Descriptionxii, 306 s. : il. ; 24 cm.

Cover

More Information
Format:Způsob přístupu: WWW
Bibliography:Obsahuje bibliografii (s. 295-301) a rejstřík.
ISBN:9780750679497
0750679492
Physical Description:xii, 306 s. : il. ; 24 cm.

Similar Items