Natarajan Shankar - Böcker

Visar alla böcker från författaren Natarajan Shankar.

3 produkter

Böcker

3 produkter

USA) Shankar, N. (SRI International, Natarajan Shankar, N. Shankar, C. J. van Rijsbergen - Metamathematics, Machines and Godel's Proof, Häftad

Metamathematics, Machines and Godel's Proof

Av USA) Shankar, N. (SRI International, Natarajan Shankar, N. Shankar, C. J. van Rijsbergen

Häftad, Engelska, 1997

809 kr

Skickas inom 7-10 vardagar

Ulrich Furbach, Natarajan Shankar - Automated Reasoning, Häftad

Automated Reasoning

Av Ulrich Furbach, Natarajan Shankar

Häftad, Engelska, 2006

1 449 kr

Skickas inom 7-10 vardagar

Natarajan Shankar, Jim Woodcock - Verified Software: Theories, Tools, Experiments, Häftad

Verified Software: Theories, Tools, Experiments

Av Natarajan Shankar, Jim Woodcock

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 vardagar