Cărți de Natarajan Shankar

Verified Software: Theories, Tools, Experiments

Editat de Natarajan Shankar et al.

22 sep 2008

Preț: 333^.74 lei 417^.18 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ț: 670^.46 lei 838^.08 lei

6-8 săpt.

-20%