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

Abstract

von: Egon Börger · Robert Stärk

Taschenbuch

ISBN: 978-3-642-62116-1

ISBN-10: 3-642-62116-3

Springer · 2013

Siehe auch:
2003Gebundene AusgabeAbstract State Machines: A Method for High-Level System Design and Analysis