Extra Materials Archive

Book cover

Abstract State Machines

A Method for High-Level System Design and Analysis

© 2003

Hard cover - Print (ISBN: 978-3-540-00702-9)

Soft cover - Print (ISBN: 978-3-642-62116-1)

Electronic (ISBN: 978-3-642-18216-7)

View this book on SpringerLink

Product Archive File 978-3-540-00702-9

Product Archive File 978-3-642-62116-1

Extra Materials File 978-3-642-18216-7