Your search returned 2 results.

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 Availability: No items available. Add to cart (remove)
	2.	Data flow analysis [electronic resource] : theory and practice / Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare. by Khedker, Uday Sanyal, Amitabha Karkare, Bageshri Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boca Raton : CRC Press/Taylor & Francis, c2009 Online access: Distributed by publisher. Purchase or institutional license may be required for access. Availability: No items available. Add to cart (remove)

Refine your search