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

Show other versions (3)

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

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Drusinsky, Doron
Format: Electronic eBook
Language:Inglés
Published: Burlington, MA : Newnes, ©2006.
Subjects:
UML (Computer science)
Formal methods (Computer science)
Computer software > Development.
UML (Informatique)
Méthodes formelles (Informatique)
Logiciels > Développement.
Biography
Biographies.
Online Access:Texto completo (Requiere registro previo con correo institucional)

Internet

Texto completo (Requiere registro previo con correo institucional)

Items no disponibles

Holdings details from

Similar Items