Diller, Antoni. <br/><br/>
Z :  an introduction to formal methods / 
Antoni Diller. 
 - Chichester [England].  New York :  J. Wiley,  c1990. 
 - xxi, 309 p. :  ill. ;  25 cm. +  pbk. 
<br/><br/>Bibliography: (pages 357-362) and index. 
<br/><br/>I: Tutorial -- Introduction -- First-order logic -- Set theory -- Internal telephone directory -- More about relations and schemas -- functions -- Sequences -- Bags -- Free types -- II: Methods of Reasoning -- Formal proof -- Rigorous proof -- Immanent reasoning -- Reification and decomposition -- Floyd-Hoare logic -- Getting to program code -- III: Case Studies -- Two small case studies -- Wing's library problem -- Partial specification of a text-editor -- IV: Specification Animation -- Animation using Miranda -- V: Reference Manual -- Methods of Definition -- Formal Definitions -- Rules and Obligations. 
<br/><br/><label>ISBN: </label>047192489X 
<br/><br/><label>LCCN: </label>90035819 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language)
<br/><br/><label>Dewey Class. No.: </label>005.12