Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/asmbook.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Egon Börger and Robert Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, 2003. |
|---|---|
| Summary: | A book-length introduction to ASMs, addressed to software engineers, researchers, lectueres, and students as both a handbook and an instructional textbook. |
| Subjects: | Introductory Materials, ASM Books |
| Download: | May be purchased from Springer-Verlag. Additional material (slides, table of contents, errata, etc.) can be found at the AsmBook website at http://www.di.unipi.it/AsmBook/. |
Notes:
|
| |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/asmbook.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT