Liskov, Barbara. <br/><br/>
Abstraction and specification in program development  [Book /] 
Barbara Liskov and John Guttag. 
 - Cambridge, Mass. :  New York :  MIT Press ;  McGraw-Hill,  c1986. 
 - 469 p. :  ill. ;  24 cm. 
 - The MIT electrical engineering and computer science series .
<br/><br/> "Second printing, 1987". 
<br/><br/>Bibliogr. 
<br/><br/> All age. 
<br/><br/><label>ISBN: </label>0262121123 0262121123 (MIT Press) 0070379963 (McGraw-Hill) 
<br/><br/><label>LCCN: </label>85023078  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programmation des ordinateurs.<br/>Programmation (Informatique).
<br/><br/><label>LC Class. No.: </label>QA76.6  / .L5655 1986 QA 76.6 L769ab 
<br/><br/><label>Dewey Class. No.: </label>005.12 005.12