1
Izdano 2007
Kazalo: ... for the Analysis of Java Programs -- Verification of UML State Diagrams Using Concurrent State Machines -- Aspect...
Polni tekst
Elektronski eKnjiga