Abstract State Machines: A Method for High-Level System Design and Analysis
Full Title: | Abstract State Machines: A Method for High-Level System Design and Analysis |
---|---|
ISBN: | 3540007024 |
ISBN13: | 9783540007029 |
List Price: | USD $89.95 |
Authors: |
Egon Boerger |