Электронная библиотека Попечительского совета
механико-математического факультета
Московского государственного университета
Главная
Ex Libris
Книги
Журналы
Статьи
Серии
Каталог
Wanted
Загрузка
ХудЛит
Справка
Поиск по индексам
Поиск
Форум
Авторизация
Поиск по указателям
Almeida J., Frade M.J. — Rigorous Software Development: An Introduction to Program Verification
Обсудите книгу на
научном форуме
Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter
Название:
Rigorous Software Development: An Introduction to Program Verification
Авторы:
Almeida J., Frade M.J.
Язык:
Рубрика:
Computer science
/
Статус предметного указателя:
Неизвестно
ed2k:
ed2k stats
Год издания:
2011
Количество страниц:
277
Добавлена в каталог:
12.08.2014
Операции:
Положить на полку
|
Скопировать ссылку для форума
|
Скопировать ID
Предметный указатель
Реклама
©
Электронная библиотека попечительского совета мехмата МГУ
, 2004-2024
|
|
О проекте