Электронная библиотека
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Мехматянам
Первый курс
Второй курс
Третий курс
Четвертый курс
Пятый курс
Авторизация
Поиск по указателям
Результат поиска
Поиск книг, содержащих:
Proof of correctness
Книга
Страницы для поиска
Nash J.C., Nash M.M. — Scientific Computing with PCs
9.3
Alagić S., Arbib M.A. — The Design of Well-Structured and Correct Programs
19, 257
Brookshear J.G. — Computer Science: An Overview
254
Ghosh S. — Algorithm design for networked information technology systems
286
Brookshear J. — Computer Science
254
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте