Warren A. Jr. Hunt – författare
Visar alla böcker från författaren Warren A. Jr. Hunt. Handla med fri frakt och snabb leverans.
3 produkter
Formal Methods in Computer-Aided Design
Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Av Steven D. Johnson, Warren A. Jr. Hunt
E-bok, 2007
1459 kr
Lägg i varukorg
The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the use of discrete mathematical methods for the analysis of computer hardware and so- ware. The work reported in this book describes the use of modeling …
Formal Methods in Computer-Aided Design
Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Av Warren A. Jr. Hunt, Steven D. Johnson
Häftad, 2000
1126 kr
Lägg i varukorg
The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the use of discrete mathematical methods for the analysis of computer hardware and so- ware. The work reported in this book describes the use of modeling …
FM8501: A Verified Microprocessor
Häftad, 1994
566 kr
Lägg i varukorg
The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design implementation using a formal logic, the Boyer-Moore logic; this approach …
