TY  - GEN
AU  - Monin,Jean Fran�cois
AU  - Hinchey,Michael G.
TI  - Understanding formal methods
SN  - 1852332476 (alk. paper)
U1  - 005.131,MON 
PY  - 2003///
CY  - London, New York
PB  - Springer
KW  - Formal methods (Computer science)
N1  - Motivation (Page-1), Introductory Exercise (Page-15), A Presentation of Logical Tool (Page-35), Hoare Logic (Page-65) Classical Logic (Page-75) Set-theoretic Specifications (Page-95) Set Theory (Page-111), Behavioral Specifications (Page-125) Deduction System (Page-149) Abstract Data Types and Algebraic Specification (Page-189) Type Systems and Constructive Logics (Page-203) Using Type Theory (Page-233)
UR  - http://www.loc.gov/catdir/enhancements/fy0816/2002030646-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0816/2002030646-t.html
ER  -