search for books and compare prices
Natarajan Shankar has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008 Toronto, Canada, October 6-9, 2008, Proceedings
cover image for 9783540878728
By Natarajan Shankar (editor) and Jim Woodcock (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540878728 | Springer Verlag, December 4, 2008, cover price $89.99

Automated Reasoning: Thrid International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
cover image for 9783540371878
Product Description: Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition...read more
By Ulrich Furbach (editor) and Natarajan Shankar (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540371878 | Springer-Verlag New York Inc, June 30, 2007, cover price $169.00 | About this edition: Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006.

displaying 1 to 2 | at end