Image from Amazon.com
Using event-b for critical device software systems
Material type:
TextLanguage: English Publication details: Springer – Verlag 2013Description: xviii, 326pISBN: - 9781447152590 (HB)
- 004.0151 SIN(USI)
| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Central Library | 004.0151 SIN(USI) (Browse shelf(Opens below)) | 1 | Available | 29952 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
| No cover image available |
|
|
|
|
|
No cover image available | ||
| 004.0151 SCH(COM) Computational engineering : introduction to numerical methods | 004.0151 SCH(COM) Computational Logic and Set Theory: applying formalized logic to analysis | 004.01510 SIM(MAT) Mathematics for economists | 004.0151 SIN(USI) Using event-b for critical device software systems | 004.0151 SRI(FOU) Foundations of discrete mathematics with algorithms and programming | 004.0151 STR(COM) Computational science and engineering | 004.0151 SYM Symbolic Computation Applications To Scientific Computing |
There are no comments on this title.
Log in to your account to post a comment.