Abstract state machines: A method for high-level system design and analysis

Egon Börger, Robert Stärk

$21.75 Lowest Price Guarantee (click for details)


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.
448 Pages
PDF Format
2.74 MB Size