Natarajan Shankar - Böcker
Visar alla böcker från författaren Natarajan Shankar.
2 produkter
2 produkter
Automated Reasoning
Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Häftad, Engelska, 2006
1 439 kr
Skickas inom 10-15 vardagar
Verified Software: Theories, Tools, Experiments
Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
Häftad, Engelska, 2008
729 kr
Skickas inom 10-15 vardagar