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

Author: Egon Boerger, Robert Staerk
List Price: $59.95
Our Price: Click to see the latest and low price
ISBN: 3540007024
Publisher: Springer Verlag (August, 2003)
Edition: Hardcover
Sales Rank: 563,892

Buy now directly from Amazon.com - Purchase this book, safely and securely from the largest book dealer on the Internet, Amazon.com

Similar Products

· Practical Statecharts in C/C++: Quantum Programming for Embedded Systems with CDROM
· Real-Time Object-Oriented Modeling
· Design Patterns
· Embedded Systems Dictionary
· The SPIN Model Checker : Primer and Reference Manual

Return To Main Computer Book IndexSearch Our Entire Computer Book Catalog