Abstraction specification program development
Saved in:
Main Author: | |
---|---|
Other Authors: | |
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 |