A mechanized logical model of Z and object oriented specification, Thomas Santen
Nikdo zatím neohodnotil.Ohodnotit