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

Saved in:
Bibliographic Details
Other Authors: Boulanger, Jean-Louis, (Editor)
Format: eBook
Language:English
Published: London, England ; Hoboken, New Jersey : iSTE : Wiley, 2014.
Series:Computer engineering series.
Subjects:
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!

Similar Items