| |

avaa valikko

Warren A Jr Hunt | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

FM8501: A Verified Microprocessor

Hunt, Warren A. Jr.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1994
Pehmeäkantinen kirja

FM8501: A Verified Microprocessor

51,10 €

Formal Methods in Computer-Aided Design - Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceed

Hunt, Warren A. Jr.; Johnson, Steven D.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2000
Pehmeäkantinen kirja

Formal Methods in Computer-Aided Design - Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceed

100,90 €

Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

Hunt, Jr., Warren A.; Somenzi, Fabio
Springer
2003
Pehmeäkantinen kirja

Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

51,10 €