Image from Amazon.com
Using event-b for critical device software systems
Material type:
TextPublication details: England, United Kingdom Springer London Ltd 2013.Description: xviii, 326p. illISBN: - 9781447152590
- MED QA76 S563
| Item type | Current library | Collection | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Directorate of Library Services General Collection | Shelf #1 | MED QA76.S563 (Browse shelf(Opens below)) | Available | 000000128419 |
Minimal Level Cataloging Plus.
There are no comments on this title.
Log in to your account to post a comment.