AsmBook
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]