2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science)
M.W. Alford
,
J.P. Ansart
,
G. Hommel
,
L. Lamport
,
B. Liskov
,
G.P. Mullery
,
F.B. Schneider
Категория:
Компьютеры
29.43 Mb
#2
Abstraction and Specification in Program Development (MIT Electrical Engineering and Computer Science Series)
Barbara Liskov
,
John V. Guttag
Категория:
Компьютеры
3.08 Mb
#3
Program Development in Java: Abstraction, Specification, and Object-Oriented Design
Barbara Liskov
,
John Guttag
24.32 Mb
#4
Abstraction and specification in program development
Barbara Liskov
,
John V. Guttag
Категория:
Algorithms
3.01 Mb
#5
A history of CLU
Liskov B.
Категория:
Радио
72 Kb