Monin, Jean Fran�cois, <br/><br/>
Understanding formal methods / 
written and translated by Jean Fran�cois Monin ; translation editor, Michael G. Hinchey. 
 - London ;  New York :  Springer,  c2003. 
 - xv, 275 p. ;  24 cm. 
<br/><br/>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). 
<br/><br/><label>ISBN: </label>1852332476 (alk. paper) 
<br/><br/><label>LCCN: </label>2002030646 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)
<br/><br/><label>Dewey Class. No.: </label>005.131,MON