Software specification techniques - Gehani, Narain; McGettrick, Andrew (Wokingham : Addison-Wesley, 1985)
Bibliografie
Keywords: počítačové programy; počítačové jazyky; sborníky; computer programs