Deductive and Declarative Programming - Cambridge Tracts in Theoretical Computer Science - Peter Padawitz - Books - Cambridge University Press - 9780521032513 - November 23, 2006
In case cover and title do not match, the title is correct

Peter Padawitz
Deductive and Declarative Programming - Cambridge Tracts in Theoretical Computer Science

Price
HK$ 544
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 27 - Jun 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.

288 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 23, 2006
ISBN13 9780521032513
Publishers Cambridge University Press
Pages 288
Dimensions 152 × 228 × 17 mm   ·   469 g
Language English  

More by Peter Padawitz

Show all

See all of Peter Padawitz ( e.g. Paperback Book )