کتاب های Barbara Liskov
درباره نویسنده
Abstraction and specification in program development
Barbara Liskov, John V. Guttag, 1986
Abstraction and Specification in Program Development (MIT Electrical Engineering and Computer Science Series)
Barbara Liskov, John V. Guttag, 1986
Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems
Barbara Liskov, John V. Guttag, 1998
CLU Reference Manual
Barbara Liskov, 1981
CLU Reference Manual
Barbara Liskov, 1981
Program Development in Java: Abstraction, Specification, and Object-Oriented Design
Barbara Liskov, 2000
