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

AvWarren A. Hunt, Jr.,Fabio Somenzi m. fl.

Häftad, Engelska, 2003

719 kr

Skickas inom 10-15 vardagar