Search
|
About
|
Preferences
|
Interact
|
Help
150 million books. 1 search engine.
author, title, or isbn search
Go
Warren A. Hunt
(Hunt, Warren A.)
Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings
by Fabio Somenzi, Warren A. Hunt
Softcover, Springer Verlag
, ISBN 3540405240 (3-540-40524-0)
Fm8501: A Verified Microprocessor
by Warren A. Hunt
Softcover, Springer Verlag
, ISBN 0387579605 (0-387-57960-5)
More editions of Fm8501: A Verified Microprocessor:
FM8501, a Verified Microprocessor:
Hardcover, Springer-Verlag, ISBN 3540579605 (3-540-57960-5)
Warren A. Hunt
at LibraryThing
coauthors & alternates:
Fabio Somenzi