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

Abstract State Machines. A Method for High-Level System Design and Analysis 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.

Authors: Borger E., Stark S.Pages: 448     Year: 2003

Tags: method borger high-level machines design analysis system abstract stark
   

Customers who bought this item also bought:



Dleex

© 2007–2018 Dleex.

English      German      French      Russian

For any question please write to our email e-mail