1
Pubblicazione 2007
Sommario: ... for the Analysis of Java Programs -- Verification of UML State Diagrams Using Concurrent State Machines -- Aspect...
Testo
Elettronico eBook