Вычислимость

Список источников >Компьютерные науки >Вычислимость >

Abstract State Machines. A Method for High-Level System Design and Analysis

Автор: Borger E., Stark S.
Год: 2003
Издание:

Страниц: [не указано]
ISBN: [не указан]
This book combines the features of a textbook and a handbook Researchers will find here the most comprehensive description of ASMs available today and professionals will use it as a "modeling handbook of the working software engineer." As a textbook it supports self-study or it can form the basis of a lecture course.
Добавлено: 2009-08-09 01:26:35

Околостуденческое

Рейтинг@Mail.ru

© 2009-2024, Список Литературы