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 |
Browsing Directorate of Library Services shelves, Shelving location: General Collection, Collection: Shelf #1 Close shelf browser (Hides shelf browser)
| No cover image available |
|
|
|
|
|
|
||
| MED.PAM QP34.R5 Anatomy & physiology self -instructional course:Respiratory & cardiovascular systems | MED QA276.W4423 Statistics using SPSS : an integrative Approach | MED QA55.F55 How to design and report experiments | MED QA76.S563 Using event-b for critical device software systems | MED QC157.B27 50 ideas you really need to know physics | MED QC20.C66 KINETIC CONTROL: THE MANAGEMENT OF UNCONTROLLED MOVEMENT | MED QC20.C66 KINETIC CONTROL: THE MANAGEMENT OF UNCONTROLLED MOVEMENT |
Minimal Level Cataloging Plus.
There are no comments on this title.
Log in to your account to post a comment.