Title:
Formal methods applied to complex systems : implementation of the B Method
Author:
Boulanger, Jean-Louis, editor.
ISBN:
9781119002680
9781119002727
Physical Description:
1 online resource.
Series:
Computer engineering series
Computer engineering series (London, England)
Added Author:
Electronic Access:
ebrary An electronic book accessible through the World Wide Web; click to viewJohn Wiley http://dx.doi.org/10.1002/9781119002727
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 342119-1001 | ONLINE(342119.1) | Searching... | Searching... |