Demetrovics J, Knuth Elod & Rado Peter Computer-Aided Specification Techniques 9789971978532

Варианты приобретения

Цена: 11405.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-08-04
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Demetrovics J, Knuth Elod & Rado Peter
Название: Computer-Aided Specification Techniques
ISBN: 9789971978532
Издательство: World Scientific Publishing
Классификация:

Автоматизированное производство

ISBN-10: 9971978539
Обложка/Формат: Hardback
Страницы: 128
Вес: 0.34 кг.
Дата издания: 01.01.1986
Серия: World scientific series in computer science
Язык: English
Иллюстрации: Ill.
Размер: 237 x 162 x 14
Читательская аудитория: Postgraduate, research & scholarly
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 197s, there was a need for the recognition of the fundamental role of adequate abstractions and higher level conceptual models in all fields of computer applications. The approach presented explores various conceptual descriptive methods of specification processing.
Дополнительное описание: Contents: Introduction; Conceptional Models; Formal Models; Principles of Descriptions; An Application Example;

Computer-Aided Specification Techniques, Demetrovics J, Knuth Elod & Rado Peter