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

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

by Robert Stärk, Egon Börger Paperback 2013

⭐ 0 rating
⭐ 0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • 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-