[QA76.6.A47 1979] Proving Programs Correct


LOC	QA76.6.A47 1979

Title	Proving Programs Correct

Author	Robert Brockett Anderson

Publication Year	1979

Format	Paperback

Edition

Front Cover

Index	3429

ISBN	9780471033950

No. of Pages	184

Publication Date	6/13/1979

Publisher	Wiley

Purchase Date	2010

Purchase Price	1.

Links	http://www.amazon.com/gp/search?keywords=9780471033950+Robert+Brockett+Anderson+Proving+programs+correct&tag=collectorzapp-20&index=books http://lccn.loc.gov/78009321

Condition	Good