Wiley
Wiley.com

Search Results

Refine: Sort by:

5 matches for "Jean-Louis Boulanger"

Formal Methods: Industrial Use from Model to the Code (184821362X) cover image
Formal Methods: Industrial Use from Model to the Code
by Jean-Louis Boulanger (Editor)
June 2012, Hardcover (E-book also available)
US $145.00 Add to Cart
Safety Management of Software-based Equipment (1848214529) cover image
Safety Management of Software-based Equipment
by Jean-Louis Boulanger
May 2013, Hardcover (E-book also available)
US $95.00 Add to Cart
Industrial Use of Formal Methods: Formal Verification (1848213638) cover image
Industrial Use of Formal Methods: Formal Verification
by Jean-Louis Boulanger (Editor)
July 2012, Hardcover (E-book also available)
US $145.00 Add to Cart
Static Analysis of Software: The Abstract Interpretation (1848213204) cover image
Static Analysis of Software: The Abstract Interpretation
by Jean-Louis Boulanger (Editor)
December 2011, Hardcover (E-book also available)
US $167.00 Add to Cart
Safety of Computer Architectures (184821197X) cover image
Safety of Computer Architectures
by Jean-Louis Boulanger (Editor)
August 2010, Hardcover (E-book also available)
US $127.00 Add to Cart