Böcker av 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

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

Barbara Liskov

PROGRAMMING WITH ABSTRACT DATA TYPES

Barbara Liskov

Clu: Reference Manual

Clu: Reference Manual

Barbara Liskov