Abstract State Machines: a method for high-level systemdesign and analysis Egon Borger
Material type: TextPublication details: Berlin Springer 2003Description: 1 CD-ROMISBN: 9783540007029Subject(s): Embedded computer systems | Computer software -- Development | System designDDC classification: 004.21 BORItem type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
CDR-BOOK | LRC_JUIT | MULTIMEDIA SECTION | CDR 004.21 BOR (Browse shelf (Opens below)) | Copy 1 | Available | CD30590 |
Total holds: 0
There are no comments on this title.