Abstraction specification program development

Saved in:
Bibliographic Details
Main Author: Liskov, Barbara
Other Authors: Guttag, John
Format: Book
Language:English
Published: New York : McGraw-Hill Book Company , 1987
Series:The MIT Electrical Engineering and Computer Science Series
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000Ia 4500
003 FRI
005 20200722135856.0
008 130910s9999 xx 000 0 und d
999 |c 992  |d 992 
020 |a 0070379963 
041 |a eng 
082 |2 21st ed.  |a 005.12  |b LIS/A:2 
100 |a Liskov, Barbara 
245 |a Abstraction specification program development 
260 |a New York :  |b McGraw-Hill Book Company ,  |c 1987 
300 |a xv, 448p. 
440 |a The MIT Electrical Engineering and Computer Science Series 
500 |a The MIT Press 
504 |a Index: pp 449-69 
653 |a Abstraction 
653 |a Electric engineering 
653 |a Electronic digital computers - Programming 
653 |a Specifications 
700 |a Guttag, John 
942 |c EN  |2 ddc