Search

Your search returned 8 results.

Not what you expected? Check for suggestions

Results
		Safety of computer architectures [electronic resource] / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis \| ProQuest (Firm). 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, 2010Online access: Click to View Availability: No items available. Add to cart (remove)
		Static analysis of software [electronic resource] : the abstract interpretation / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis \| ProQuest (Firm). Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Hoboken, N.J. : Wiley, 2012Online access: Click to View Availability: No items available. Add to cart (remove)
		Formal method [electronic resource] : industrial use from model to the code / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis \| ProQuest (Firm). Series: Industrial implementation of formal methods seriesMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Hoboken, N.J. : ISTE ; Wiley, 2012Online access: Click to View Availability: No items available. Add to cart (remove)
		Safety management for software-based equipment [electronic resource] / Jean-Louis Boulanger. by Boulanger, Jean-Louis \| ProQuest (Firm). Series: Focus series in computer engineering and ITMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Hoboken, N.J. : ISTE Ltd./John Wiley and Sons Inc., 2013Online access: Click to View Availability: No items available. Add to cart (remove)
		Formal methods applied to complex systems / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis [editor.]. Series: Computer engineering seriesMaterial type: Text; Format: available online ; Literary form: Not fiction Publisher: London, [England] ; Hoboken, New Jersey : ISTE : Wiley, 2014Copyright date: 2014Online access: Click to View Availability: No items available. Add to cart (remove)
		Formal methods applied to complex systems : implementation of the B method / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis [editor.]. Series: Computer engineering seriesMaterial type: Text; Format: available online ; Literary form: Not fiction Publisher: London, England ; Hoboken, New Jersey : iSTE : Wiley, 2014Copyright date: 2014Online access: Click to View Availability: No items available. Add to cart (remove)
		CENELEC 50128 and IEC 62279 standards / Jean-Louis Boulanger. by Boulanger, Jean-Louis [author.]. Series: Control, systems and industrial engineering seriesMaterial type: Text; Format: available online ; Literary form: Not fiction Publisher: Hoboken, New Jersey : iSTE/Wiley, 2015Online access: Click to View Availability: No items available. Add to cart (remove)
		CENELEC 50128 and IEC 62279 standards / Jean-Louis Boulanger. by Boulanger, Jean-Louis [author.]. Series: Control, systems and industrial engineering seriesMaterial type: Text; Format: available online ; Literary form: Not fiction Publisher: Hoboken, New Jersey : iSTE/Wiley, 2015Online access: Click to View Availability: No items available. Add to cart (remove)