ISBN-13: 9781441951212, 978-1441951212. The theory is given so that the algorithms can be fully understood and their correctness established. Format: Paperback.
eBay