Summary and Info
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.
More About the Author
Egon Börger (born 13 May 1946) is a German-born computer scientist based in Italy.
Review and Comments
Rate the Book
Abstract state machines: A method for high-level system design and analysis 0 out of 5 stars based on 0 ratings.