Logic for applications /

Сохранить в:
Библиографические подробности
Главный автор: Nerode, Anil
Другие авторы: Shore, Richard A.
Формат:
Язык:английский
Опубликовано: New york : Springer-Verlag, 1997.
Редактирование:2nd ed.
Серии:Graduate texts in computer science
Предметы:
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
Описание
Объем:456 P. ; 25 cm.
Библиография:Includes bibliographical references and index.
ISBN:0387948937