Cover image for Using Event-B for Critical Device Software Systems
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:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 331181-1001 ONLINE(331181.1)
Searching...

On Order