Results
Abstract State Machines
A Method for High-Level System Design and Analysis
© 2003
Hard cover - Print (ISBN: 978-3-540-00702-9)
Electronic (ISBN: 978-3-642-18216-7)
Soft cover - Print (ISBN: 978-3-642-62116-1)
View this book on
SpringerLink
Download Extras Archive File - 978-3-540-00702-9
Download Product Archive File - 978-3-642-18216-7
Download Extras Archive File - 978-3-642-62116-1