Warren A. Hunt, Jr. - Böcker

Visar alla böcker från författaren Warren A. Hunt, Jr..

1 produkt

Kategorier

1 produkt

Computer Aided Verification

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

Av Warren A. Hunt, Jr., Fabio Somenzi m. fl

Häftad, Engelska, 2003

729 kr

Skickas inom 10-15 vardagar