[an error occurred while processing this directive]
[an error occurred while processing this directive]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:
| |