01118nam a22003377a 4500 000055761 CZ-PrVSE 20000522000000.0 000510s1985 xxk ||||| eng | 0-201-14230-9 (váz.) ABA006 cze ABA006 ABA006 eng xxk 681.3.062 681.3GEH Gehani, Narain aut Software specification techniques / Narain Gehani, Andrew McGettrick Wokingham : Addison-Wesley, 1985 xii, 477 s. : il. International computer science series Bibliografie počítačové programy ph124516 czenas počítačové jazyky sborníky fd163935 czenas computer programs eczenas McGettrick, Andrew aut International computer science series PNGMM PDPZ2 F156945 PC=4568/86 3142113097 20030807 681.3GEH 81 UEP01 BOOK Knihovna Žižkov depoz. 2 na 1 měsíc UEP01 20030918