Home Advanced Search

Advanced Search - Page 1

Использование абстракций и спецификаций при разработке программ
  • DJVU
  • Russian
  • Year: 1989
  • Author: Лисков Б., Гатэг Дж.(Liskov B., Guttag J.)
Использование абстракций и спецификаций при разработке программ
  • DJVU
  • Russian
  • Year: 1989
  • Author: Лисков Б., Гатэг Дж.
Использование абстракций и спецификаций при разработке программ
  • DJVU
  • Russian
  • Year: 1989
  • Author: Лисков Б., Гатэг Дж.
Program Development in Java Abstraction, Specification, and Object-Oriented Design
  • PDF
  • English
  • Year: 2000
  • Author: Ekelund, Robert B.; Guttag, John V.; Liskov, Barbara
Program Development in Java: Abstraction, Specification, and Object-Oriented Design
  • PDF
  • English
  • Year: 2000
  • Author: Barbara Liskov, John Guttag
Abstraction and specification in program development
  • DJVU
  • English
  • Year: 1986
  • Author: Barbara Liskov, John V. Guttag
A history of CLU
  • PDF
  • English
  • Year: 1992
  • Author: Liskov B.
Distributed Systems: Methods and Tools for Specification An Advanced Course
  • PDF
  • English
  • Year: 1985
  • Author: M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider (eds.)
Larch: Languages and Tools for Formal Specification
  • PDF
  • English
  • Year: 1993
  • Author: John V. Guttag, James J. Horning
Larch: Languages and Tools for Formal Specification
  • PDF
  • English
  • Year: 1993
  • Author: John V. Guttag, James J. Horning
search