TY  - BOOK
AU  - GEHANI, Narain
TI  - Software specification techniques
U1  - 001.642 5 G25S 
PY  - 1986///
PB  - Workingham, England
KW  - ELECTRONIC DIGITAL COMPUTERS -- PROGRAMMING
KW  - COMPUTER PROGRAMS -- SPECIFICATIONS -- ADDRE
KW  - ELECTRONIC DIGITAL COMPUTERS -- PROGRAMMIN
KW  - YS, LECTURES
ER  -