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

Mostrar otras versiones (3)

Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Drusinsky, Doron
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Burlington, MA : Newnes, �2006.
Temas:
UML (Computer science)
Formal methods (Computer science)
Computer software > Development.
UML (Informatique)
M�ethodes formelles (Informatique)
Logiciels > D�eveloppement.
Biography
Biographies.
Acceso en línea:Texto completo
Descripción
Sumario:Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!
Descripción Física:1 online resource (xii, 306 pages) : illustrations
Bibliografía:Includes bibliographical references (pages 295-301) and index.
ISBN:9780080481470
0080481477
9780750679497
0750679492
1281052183
9781281052186
9786611052188
6611052186

Ejemplares similares