Вид документа : Однотомное издание Шифр издания : 004/M78-948959 Автор(ы) : Fernandez M. Заглавие : Models of computation [Electronic resource] : an introduction to computability theory Выходные данные : London : Springer, 2009 Коллективы : SpringerLink (Online service) Серия: Undergraduate topics in computer science, ISSN 1863-7310 Вид и объем ресурса: Electronic text data ISBN, Цена 978-1-848-82434-8: Б.ц. ГРНТИ : 27.03.17 УДК : 510.58 Ключевые слова (''Своб.индексиров.''): вычисления--модели--теория вычислимости См. : Текст издания Доп.точки доступа: Fernandez, M.; SpringerLink (Online service)