Abstraction and specification in program development /
Guardado en:
Autor Principal: | |
---|---|
Otros Autores: | |
Formato: | Libro |
Idioma: | English |
Publicado: |
Cambridge, Mass. : New York :
MIT Press ; McGraw-Hill,
c1986.
|
Series: | The MIT electrical engineering and computer science series
|
Materias: | |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
LEADER | 00846cam a2200229 a 4500 | ||
---|---|---|---|
001 | inmabb004767 | ||
008 | 850911s1986####maua#####b####001#0#eng## | ||
005 | 20130409123148.0 | ||
245 | 1 | 0 | |a Abstraction and specification in program development / |c Barbara Liskov and John Guttag. |
260 | |a Cambridge, Mass. : |b MIT Press ; |a New York : |b McGraw-Hill, |c c1986. | ||
300 | |a xv, 469 p. : |b il. ; |c 24 cm. | ||
440 | 4 | |a The MIT electrical engineering and computer science series | |
504 | |a Incluye referencias bibliográficas e índice. | ||
020 | |a 0262121123 (MIT Press) | ||
020 | |a 0070379963 (McGraw-Hill) | ||
100 | 1 | |a Liskov, Barbara. |9 128500 | |
700 | 1 | |a Guttag, John. |9 128501 | |
650 | 0 | |a Computer programming. |9 063477 | |
084 | |a 68Nxx |2 msc2000 | ||
010 | |a 85023078 | ||
040 | |a DLC |c DLC |d DLC | ||
859 | |h 68 |i L769 |p A-6409 |b BIB. MATEMATICA |