Formal Methods Applied to Industrial Complex Systems : Implementation of the B Method.

Saved in:

Bibliographic Details
Online Access:	Full text (MCPHS users only)
Main Author:	Boulanger, Jean-Louis
Format:	Electronic eBook
Language:	English
Published:	Wiley-ISTE, 2014
Series:	Computer engineering series.
Subjects:	B method (Computer science) Formal methods (Computer science)
Local Note:	ProQuest Ebook Central

Internet

Full text (MCPHS users only)