top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Modeling and verification using UML statecharts
ID:
1212794
Creatori:
(627499) Drusinsky, Doron
...