Your search returned 7 results.

Results
	1.	Safety of computer architectures [electronic resource] / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis ebrary, Inc Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Original language: French Publication details: London : Hoboken, N.J. : ISTE ; b Wiley, 2010 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Add to cart (remove)
	2.	Static analysis of software [electronic resource] : the abstract interpretation / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis ebrary, Inc Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Hoboken, N.J. : Wiley, 2012 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Add to cart (remove)
	3.	Formal method [electronic resource] : industrial use from model to the code / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis ebrary, Inc Series: Industrial implementation of formal methods series Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Hoboken, N.J. : ISTE ; Wiley, 2012 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Add to cart (remove)
	4.	Safety management for software-based equipment [electronic resource] / Jean-Louis Boulanger. by Boulanger, Jean-Louis ebrary, Inc Series: Focus series in computer engineering and IT Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Hoboken, N.J. : ISTE Ltd./John Wiley and Sons Inc., 2013 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Add to cart (remove)
	5.	Formal methods applied to complex systems / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis [editor.] Series: Computer engineering series Material type: Text; Format: available online ; Literary form: Not fiction Publisher: London, [England] ; Hoboken, New Jersey : ISTE : Wiley, 2014Copyright date: ©2014 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Add to cart (remove)
	6.	Formal methods applied to complex systems : implementation of the B method / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis [editor.] Series: Computer engineering series Material type: Text; Format: available online ; Literary form: Not fiction Publisher: London, England ; Hoboken, New Jersey : iSTE : Wiley, 2014Copyright date: ©2014 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Add to cart (remove)
	7.	CENELEC 50128 and IEC 62279 standards / Jean-Louis Boulanger. by Boulanger, Jean-Louis [author.] Series: Control, systems and industrial engineering series Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Hoboken, New Jersey : iSTE/Wiley, 2015 Online resources: An electronic book accessible through the World Wide Web; click to view Availability: No items available. Add to cart (remove)