Abstraction and specification in program development / Barbara Liskov, John Güttag
| Abstraction and specification in program development / Barbara Liskov, John Güttag |
| Autore | Liskov, Barbara |
| Pubbl/distr/stampa | Cambridge, Mass. : The Mit Press |
| Descrizione fisica | 469 p. : ill. ; 24 cm |
| Disciplina | 005.1'2 |
| Altri autori (Persone) | Güttag, John |
| Collana | The MIT electrical engineering and computer science series |
| Soggetto non controllato | Programmi per computer |
| ISBN | 0262121123 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000469820403321 |
Liskov, Barbara
|
||
| Cambridge, Mass. : The Mit Press | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Program development in Java : abstraction, specification, and object-oriented design / Barbara Liskov ; with John Guttag
| Program development in Java : abstraction, specification, and object-oriented design / Barbara Liskov ; with John Guttag |
| Autore | Liskov, Barbara |
| Pubbl/distr/stampa | Boston : Addison-Wesley, c2001 |
| Descrizione fisica | xix, 443 p. : ill. ; 25 cm |
| Disciplina | 005.133 |
| Altri autori (Persone) | Guttag, John |
| Soggetto topico |
Java (Computer program language)
Object-oriented programming (Computer science) |
| ISBN | 0201657686 |
| Classificazione |
AMS 68-XX
LC QA76.73.J38L58 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction ; 2. Understanding Objects in Java ; 3. Procedural Abstraction ; 4. Exceptions ; 5. Data Abstraction ; 6. Iteration Abstraction ; 7. Type Hierarchy ; 8. Polymorphic Abstractions ; 9. Specifications ; 10. Testing and Debugging ; 11. Requirements Analysis ; 12. Requirements Specifications ; 13. Design ; 14. Between Design and Implementation ; 15. Design Patterns |
| Record Nr. | UNISALENTO-991002557709707536 |
Liskov, Barbara
|
||
| Boston : Addison-Wesley, c2001 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||