Logic for applications /

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