TY  - BOOK
AU  - Dean,  C. Neville 
TI  - Teaching And Learning Formal Methods: : 
SN  - 9780080518503
U1  - 004.07 
PY  - 1996///
CY  - New york
PB  - Academic press
KW  - Microcomputers-teaching; computer software development study and teaching; minicomputers
N1  - Bib and Ref
ER  -