Cărți de Warren A. Jr. Hunt

FM8501: A Verified Microprocessor

Lecture Notes in Computer Science, nr. 795

Autor Warren A. Jr. Hunt

20 mai 1994

Preț: 322^.61 lei 403^.26 lei

6-8 săpt.

-20%

Formal Methods in Computer-Aided Design

Editat de Warren A. Jr. Hunt et al.

18 oct 2000

Preț: 635^.44 lei 794^.30 lei

6-8 săpt.

-20%