Abstract State Machines: A Method for High-Level System Design and Analysis

Machines

von Egon Borger

Gebunden

EAN=ISBN-13: 978-3-540-00702-9

ISBN-10: 3-540-00702-4

Springer · 2003

S. auch (eventuell von anderen Autoren):
2013TaschenbuchAbstract State Machines: A Method for High-Level System Design and Analysis