Title:
Using Event-B for Critical Device Software Systems
Author:
Singh, Neeraj Kumar. author.
ISBN:
9781447152606
Physical Description:
XVIII, 326 p. 45 illus. online resource.
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-1-4471-5260-6Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 331181-1001 | ONLINE(331181.1) | Searching... | Searching... |