codejedi reviewed Decision Procedures by Daniel Kroening
Review of 'Decision Procedures' on 'Goodreads'
No rating
Bought this ebook online after Geri's recommendation. Keeping it in Dropbox\Docs\Books\ComputerScience.
German language
Published July 7, 2008