Подробности: Верификация автоматных программ

Книга

Верификация автоматных программ / С.Э. Вельдер, М.А. Лукин, А.А. Шалыто, Б.Р. Ямнов ; М-во образования и науки Рос. Федерации, С.-Петерб. гос. ун-т информ. технологий, механики и оптики

Автор (Альтер.): Вельдер, Сергей Эдуардович -- Автор;Лукин, Михаил Андреевич -- Автор;Шалыто, Анатолий Абрамович (1948-) -- Автор;Яминов, Булат Равилевич -- АвторЯзык: русский.Выходные данные: Санкт-Петербург : Наука, 2011Физическая характеристика: 242, [1] с. ; 23 см.ISBN: 978-5-02-038160-5 Библиография: Библиогр.: с. 231-239 (99 назв.); Алф. указ.: с. 240-242.Предметная рубрика - Тема: Программы(компьют.) -- Верификация Другие классификации: З973.2-018-07 Тип экземпляра: Книга

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Кол-во копий	Статус	Срок возврата	Штрих-код
Книга	РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж	2011-5/5858 (Просмотр полки(Открывается ниже))	3604	Доступно		3461558
Книга	РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж	2011-5/5858 (Просмотр полки(Открывается ниже))	3604	Доступно		3461559

Библиогр.: с. 231-239 (99 назв.)

Алф. указ.: с. 240-242