Abstract State Machines: A Method for High-Level System Design and Analysis
4.4 (128 items)
Limited Time SaleUS$28.77 cheaper than the new price!!
Free cash-on-delivery fees for purchases over $99
Product details
| Management number | 233299642 | Release Date | 2026/06/27 | List Price | US$19.18 | Model Number | 233299642 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ISBN10 | 3642621163 |
|---|---|
| ISBN13 | 978-3642621161 |
| Edition | Softcover reprint of the original 1st ed. 2003 |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.14 x 0.91 x 9.21 inches |
| Item Weight | 1.38 pounds |
| Print length | 448 pages |
| Publication date | October 3, 2013 |
Bestseller ranking
Computer Design
Customers who viewed this product also viewed
Tanks & Camis
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form