Верификация моделей программ : учебное пособие; для студентов специальности Прикладная математика и информатика / Е.В. Кузьмина ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Яросл. гос. ун-т им. П.Г. Демидова
Язык: русский.Выходные данные: Ярославль : Ярославский государственный университет, 2008Физическая характеристика: 174 с. : ил. ; 20 см.ISBN: 978-5-8397-0599-9 Библиография: Библиогр.: с. 173-174 (25 назв.).Предметная рубрика - Тема: Программы(компьют.) -- Верификация -- Учебные издания для высших учебных заведений Другие классификации: З973.2-018-07я73-1 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 2008-3/34079 (Просмотр полки(Открывается ниже)) | 4556 | Доступно | 1-2117009 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 2008-3/34079 (Просмотр полки(Открывается ниже)) | 4556 | Доступно | 2793602 |
Библиогр.: с. 173-174 (25 назв.)