Specification and validation methods / 
edited by Egon Borger. 
 - Oxford :  New York :  Clarendon ;  Oxford University Press,  1995. 
 - 460 p. :  ill. ;  24 cm. 
 - International schools for computer scientists Oxford science publications .
<br/><br/>Introduction (Page -1), Part-1: Evolving Algebras (Page-7), Part-II: Programming Languages (Page-53), Part-III: Parallel and Distributed Programs (Page-165), Part-IV: Protocols (Page-245), Part-V: Architecture Design (Page-329). 
<br/><br/><label>ISBN: </label>0198538545 
<br/><br/><label>LCCN: </label>95010608 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)
<br/><br/><label>Dewey Class. No.: </label>004.015,SPE