Warren A. Jr. Hunt – författare

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

2 produkter

Kategorier

2 produkter

Formal Methods in Computer-Aided Design
Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
AvWarren A. Jr. Hunt,Steven D. Johnson
Häftad, Engelska, 2000
1 459 kr
Skickas inom 10-15 vardagar
FM8501: A Verified Microprocessor
AvWarren A. Jr. Hunt
Häftad, Engelska, 1994
739 kr
Skickas inom 10-15 vardagar