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

Afficher d'autres versions (3)

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

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Drusinsky, Doron
Format: Électronique eBook
Langue:Inglés
Publié: Burlington, MA : Newnes, ©2006.
Sujets:
UML (Computer science)
Formal methods (Computer science)
Computer software > Development.
UML (Informatique)
Méthodes formelles (Informatique)
Logiciels > Développement.
Biography
Biographies.
Accès en ligne:Texto completo
Texto completo

Internet

Texto completo
Texto completo

Error inesperado del formato de respuesta.
Informations d'exemplaires de

Documents similaires