Warren A. Hunt, Jr. – författare

Visar alla böcker från författaren Warren A. Hunt, Jr.. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Computer Aided Verification

   15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

   Av Warren A. Hunt, Jr., Fabio Somenzi

   Häftad, 2003

   569 kr

   Lägg i varukorg

   The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in …

2. 

   Computer Aided Verification

   15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

   Av Fabio Somenzi, Warren A. Hunt, Jr.

   E-bok, 2011

   734 kr

   Lägg i varukorg