Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and SecurityPăsăreanu, Corina S.Hardcover1681738562 /
9781681738567		05/2020$47.45
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and SecurityPăsăreanu, Corina S.Paperback1681738546 /
9781681738543		05/2020$28.45
  (2 items found)