Formal methods applied to complex systems : implementation of the B method /

Saved in:
Bibliographic Details
Other Authors: Boulanger, Jean-Louis, (Editor)
Format: eBook
Published: London, England ; Hoboken, New Jersey : iSTE : Wiley, 2014.
Series:Computer engineering series.
Online Access:Subscribed ebook (available only in University campus-wide network);click to view
Tags: Add Tag
No Tags, Be the first to tag this record!
Physical Description:1 online resource (512 pages) : illustrations, tables.
Bibliography:Includes bibliographical references and index.
ISBN:9781119002680 (e-book)