Result: Abstraction and specification in program development

*Title*:

Abstraction and specification in program development / Barbara Liskov and John Guttag

*Author/editor-in-chief*:

*Edition*:

4. print.

*Publication*:

Cambridge [u.a.] : MIT Press [u.a.], 1989

*Physical description scale*:

XV, 469 S.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

The MIT electrical engineering and computer science series

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

0262121123 ; 0070379963

*Result*: Abstraction and specification in program development