Cărți de Thomas F. Melham

Higher Order Logic Theorem Proving and Its Applications

Editat de Thomas F. Melham et al.

7 sep 1994

Preț: 331^.80 lei 414^.75 lei

6-8 săpt.

-20%

Higher Order Logic and Hardware Verification

Autor T. F. Melham et al.

13 apr 2012

Preț: 761^.57 lei 951^.97 lei

6-8 săpt.

-20%