Natarajan Shankar - Böcker

Visar alla böcker från författaren Natarajan Shankar.
3 produkter
N. Shankar, USA) Shankar, N. (SRI International, Natarajan Shankar, C. J. van Rijsbergen - Metamathematics, Machines and Gödel's Proof, Häftad
Del 38 - Cambridge Tracts in Theoretical Computer Science

Metamathematics, Machines and Gödel's Proof

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

Häftad, Engelska, 1997

789 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 10-15 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

729 kr

Skickas inom 10-15 vardagar