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

43-57 zile

-20%

Higher Order Logic and Hardware Verification

Autor T. F. Melham et al.

13 apr 2012

Preț: 804^.51 lei 1005^.63 lei

43-57 zile

-20%