Abstract state machines - a method for high-level system design and analysis
- Författare
- Egon Börger
- (Egon Börger, Robert Stärk.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2003 | Tyskland, Berlin, New York | x, 438 sidor. : ill. 24 cm. + 1 CD-ROM (4 3/4 in.) | 978-3-540-00702-9 |