Your search returned 4 results.

Not what you expected? Check for suggestions

Results
	1.	Industrial used of formal method : formal verification / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis Material type: Text; Format: available online ; Literary form: Not fiction Publication details: London : Hoboken, NJ : ISTE ; Wiley, ©2012 Online access: Wiley Online Library [Free Download only for SUST IP] Availability: No items available. Add to cart (remove)
	2.	Static analysis of software : the abstract interpretation / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis Series: ISTE Material type: Text; Format: available online ; Literary form: Not fiction Publication details: London, UK ; Hoboken, NJ : ISTE/Wiley, 2012 Online access: Wiley Online Library [Free Download only for SUST IP] Availability: No items available. Add to cart (remove)
	3.	Formal methods applied to industrial complex systems / edited by Jean-Louis Boulanger. by Boulanger, Jean-Louis [editor.] Series: Computer engineering series (London, England) Material type: Text; Format: available online ; Literary form: Not fiction Publisher: London : Hoboken, NJ : ISTE, Ltd. ; Wiley, 2014 Online access: Wiley Online Library [Free Download only for SUST IP] Availability: No items available. Add to cart (remove)
	4.	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 (London, England) Material type: Text; Format: available online ; Literary form: Not fiction Publisher: London : Hoboken, NJ : ISTE ; Wiley, 2014 Online access: Wiley Online Library [Free Download only for SUST IP] Availability: No items available. Add to cart (remove)