Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Formal Verification of Control System SoftwareGaroche, Pierre-LoïcHardcover0691181306 /
9780691181301		05/2019$57.95
Static Analysis of Actors by Abstract InterpretationGaroche, Pierre-LoïcPaperback3843389543 /
9783843389549		12/2010$81.05
  (2 items found)