Formal methods applied to complex systems : implementation of the B method / edited by Jean-Louis Boulanger.
Contributor(s): Boulanger, Jean-Louis [editor.].
Material type: BookSeries: Computer engineering series: Publisher: London, England ; Hoboken, New Jersey : iSTE : Wiley, 2014Copyright date: �2014Description: 1 online resource (512 pages) : illustrations, tables.Content type: text Media type: computer Carrier type: online resourceISBN: 9781119002680 (e-book).Subject(s): B method (Computer science) | Formal methods (Computer science)Genre/Form: Electronic books.DDC classification: 005.1 Online resources: An electronic book accessible through the World Wide Web; click to viewItem type | Current location | Collection | Call number | URL | Copy number | Status | Date due | Item holds |
---|---|---|---|---|---|---|---|---|
E-book | IUKL Library | Subscripti | http://site.ebrary.com/lib/kliuc/Doc?id=10899803 | 1 | Available |
Total holds: 0
Includes bibliographical references and index.
Description based on print version record.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2015. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
There are no comments for this item.