Results

Book cover

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 extras archive files for 978-3-540-00702-9
Download Product Archive File - 978-3-642-18216-7 Download product archive files for 978-3-642-18216-7
Download Extras Archive File - 978-3-642-62116-1 Download extras archive files for 978-3-642-62116-1