Barbara Liskovの本 - BookPine

The Dawn of Software Engineering: From Turing to Dijkstra

The Dawn of Software Engineering: From Turing to Dijkstra

Edgar G. Daylight

Program Development in Java: Abstraction, Specification, and Object-Oriented Design

Program Development in Java: Abstraction, Specification, and Object-Oriented Design

Barbara Liskov

A New Definition of the Subtype Relation

A New Definition of the Subtype Relation

Barbara Liskov

Abstraction and Specification in Program Development

Abstraction and Specification in Program Development

Barbara Liskov

Distributed Systems: Methods and Tools for Specification. An Advanced Course

Distributed Systems: Methods and Tools for Specification. An Advanced Course

M.W. Alford

CLU: Reference Manual

CLU: Reference Manual

Barbara Liskov

Replication in the Harp File System

Replication in the Harp File System

Barbara Liskov

PROGRAMMING WITH ABSTRACT DATA TYPES

PROGRAMMING WITH ABSTRACT DATA TYPES

Barbara Liskov

Clu: Reference Manual

Clu: Reference Manual

Barbara Liskov