Abstract state machines : a method for high-level system design and analysis
By: Stark, Robert.
Contributor(s): Borger, Egon.
Material type:
BookPublisher: Berlin: Springer, 2003Description: x, 432 p.; : 24 cm.ISBN: 3540007024 .Subject(s): Computer software | Embedded computer systems | System designDDC classification: 004.21
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
CD-DVDs
|
004.21 BOR (Browse shelf) | Available | C00945 | ||
| Books | 004.21 BOR (Browse shelf) | Available | 011400 |
There are no comments for this item.