
Verification, Induction, Termination Analysis
Simon Siegler, Nathan Wasser
₹5,461

Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings
by Conjeevaram E. Veni Madhavan
Springer · 2007 · Paperback
Free delivery. Nothing extra to pay at checkout.
Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings by Conjeevaram E. Veni Madhavan is a 352-page paperback edition published by Springer in 2007.
The book deals with Computer Programming, Logic Design and Computer Science.