Abstract State Machines: A Method for High-Level System Design and Analysis
No Customer Reviews
Select Format
Select Condition 
Book Overview
Written for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with the three stumbling-blocks of building modern software based systems: size, complexity and trustworthiness. It covers within a single conceptual framework both design, verification by reasoning techniques, and experimental validation by simulation and testing. The text contains detailed proofs, exercises, as well as numerous real-world examples and case studies.
Format:Hardcover
Language:English
ISBN:3540007024
ISBN13:9783540007029
Release Date:April 2003
Publisher:Springer
Length:438 Pages
Weight:1.80 lbs.
Dimensions:1.2" x 6.1" x 9.6"
Related Subjects
Computer Science Computers Computers & Technology Education & Reference Embedded Systems Engineering Industrial, Manufacturing & Operational Systems Information Theory Mathematics Mechanical Methodology Microprocessors & System Design Mobile Phones, Tablets & E-Readers Modeling & Simulation Science & Math Software Design, Testing & Engineering Software Development Software Engineering Systems Analysis & DesignCustomer Reviews
0 rating
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
