Cărți de Tom Melham

Correct Hardware Design and Verification Methods

Editat de Tiziana Margaria et al.

27 aug 2001

Preț: 332^.18 lei 415^.23 lei

43-57 zile

-20%

Theorem Proving in Higher Order Logics

Editat de Joe Hurd et al.

8 aug 2005

Preț: 328^.49 lei 410^.62 lei

43-57 zile

-20%