Computer-aided specification techniques /

Sábháilte in:
Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Demetrovics, Janos
Rannpháirtithe: Knuth, E. (El~od), 1943-, Rado, Peter
Formáid: LEABHAR
Teanga:English
Foilsithe / Cruthaithe: Singapore : World Scientific, c1985.
Sraith:Series in computer science ; vol. 1
Ábhair:
Cur síos
Cur síos fisiciúil:ix, 114 p. : ill. ; 24 cm.
Leabharliosta:Bibliography: p. 110-114.
ISBN:9971978539