Abstract State Machines: A Method for High-level System Design and Analysis
by Robert Stärk, Egon Börger Paperback 2013
- Author: Robert Stärk, Egon Börger
- ISBN 13: 3642621163
- ISBN 10: 3642621163
- Publisher: Springer
- Publication Year: 2013
- Language: english
Specifications
Index-103642621163
Languageenglish
Index-133642621163
Period-
Class Track-
PublisherSpringer (2013)
Pages-