Computer-Aided Specification Techniques J Demetrovics, E Knuth, P Radó

Подробная информация о книге «Computer-Aided Specification Techniques J Demetrovics, E Knuth, P Radó». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Computer-Aided Specification Techniques J Demetrovics, E Knuth, P Radó»

J Demetrovics, E Knuth, P Radó - «Computer-Aided Specification Techniques»

О книге

This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 1970s, 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. Это и многое другое вы найдете в книге Computer-Aided Specification Techniques (J Demetrovics, E Knuth, P Radó)

Полное название книги J Demetrovics, E Knuth, P Radó Computer-Aided Specification Techniques
Авторы J Demetrovics, E Knuth, P Radó
Ключевые слова компьютерные технологии, разработка и алгоритмы
Категории Компьютеры и Internet
ISBN 9789971500955
Издательство World Scientific Publishing Co Pte Ltd
Год 1986
Название транслитом computer-aided-specification-techniques-j-demetrovics-e-knuth-p-rad
Название с ошибочной раскладкой computer-aided specification techniques j demetrovics-e knuth-p radó