Formal engineering for industrial software development : using the sofl method /

57

Bibliografske podrobnosti
Glavni avtor: 263222 Liu, Shaoying
Format:
Jezik:eng
Izdano: Berlin : Springer-Verlag, 2004
Teme: