Cărți de Natarajan Shankar

Verified Software: Theories, Tools, Experiments

Editat de Natarajan Shankar et al.

22 sep 2008

Preț: 320^.93 lei 401^.17 lei

6-8 săpt.

-20%

Metamathematics, Machines and Godel's Proof

Autor Natarajan Shankar et al.

8 oct 2002

Preț: 330^.98 lei 413^.73 lei

6-8 săpt.

-20%

Automated Reasoning

Editat de Ulrich Furbach et al.

3 aug 2006

Preț: 644^.58 lei 805^.72 lei

6-8 săpt.

-20%