Liskov: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (13)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Abstraction and specification in program development

Abstraction and specification in program development

MIT Press; McGraw-Hill

Barbara Liskov, John V. Guttag

Рік:

1986

Мова:

english

Файл:

DJVU, 3.01 MB

0 / 0

english, 1986

2

Abstraction and Specification in Program Development

Abstraction and Specification in Program Development

Barbara Liskov, John V. Guttag

Рік:

1986

Мова:

english

Файл:

DJVU, 3.08 MB

5.0 / 0

english, 1986

3

A history of CLU

A history of CLU

Рік:

1992

Мова:

english

Файл:

PDF, 72 KB

0 / 0

english, 1992

4

Использование абстракций и спецификаций при разработке программ

Использование абстракций и спецификаций при разработке программ

Лисков Б., Гатэг Дж.(Liskov B., Guttag J.)

Рік:

1989

Мова:

russian

Файл:

DJVU, 10.22 MB

0 / 0

russian, 1989

5

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

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

Addison-Wesley Professional

Barbara Liskov, John Guttag

Рік:

2000

Мова:

english

Файл:

PDF, 24.32 MB

0 / 0

english, 2000

6

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

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

Addison-Wesley Professional

John Guttag & Barbara Liskov [John Guttag]

Рік:

2000

Мова:

english

Файл:

EPUB, 1.09 MB

0 / 0

english, 2000

7

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

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

Addison Wesley Professional, Pearson Education [Distributor

Ekelund, Robert B., Guttag, John V., Liskov, Barbara

Рік:

2000

Мова:

english

Файл:

PDF, 2.53 MB

0 / 5.0

english, 2000

8

Distributed Systems: Methods and Tools for Specification An Advanced Course

Distributed Systems: Methods and Tools for Specification An Advanced Course

Springer-Verlag Berlin Heidelberg

M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider (eds.)

Рік:

1985

Мова:

english

Файл:

PDF, 29.43 MB

0 / 0

english, 1985

9

CLU Reference Manual

CLU Reference Manual

Springer-Verlag Berlin Heidelberg

Barbara Liskov, Russell Atkinson, Toby Bloom, Eliot Moss, J. Craig Schaffert, Robert Scheifler, Alan Snyder (auth.)

Рік:

1981

Мова:

english

Файл:

PDF, 2.66 MB

0 / 0

english, 1981

10

Financial Cryptography: 5th International Conference, FC 2001 Grand Cayman, British West Indies, February 19–22, 2001 Proceedings

Financial Cryptography: 5th International Conference, FC 2001 Grand Cayman, British West Indies, February 19–22, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Moses Liskov, Silvio Micali (auth.), Paul Syverson (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 3.38 MB

0 / 0

english, 2002

11

CLU Reference Manual

CLU Reference Manual

Springer-Verlag Berlin Heidelberg

Barbara Liskov, Russell Atkinson, Toby Bloom, Eliot Moss, J. Craig Schaffert, Robert Scheifler, Alan Snyder (auth.)

Рік:

1981

Мова:

english

Файл:

DJVU, 1.08 MB

0 / 0

english, 1981

12

Distributed Systems: Methods and Tools for Specification An Advanced Course

Distributed Systems: Methods and Tools for Specification An Advanced Course

Springer-Verlag Berlin Heidelberg

M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider (eds.)

Рік:

1985

Мова:

english

Файл:

DJVU, 5.00 MB

0 / 0

english, 1985

13

Distributed Systems: Methods and Tools for Specification An Advanced Course

Distributed Systems: Methods and Tools for Specification An Advanced Course

Springer-Verlag Berlin Heidelberg

M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider (eds.)

Рік:

1985

Мова:

english

Файл:

PDF, 14.02 MB

0 / 0

english, 1985