Close Bookish App

Bookish AppRead more and better

Download
Google 4.6
★★★★★
Google reviews
Deductive and Declarative Programming
Deductive and Declarative Programming

Book Details

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

  • Author Peter Padawitz
  • ISBN13 9780521032513
  • ISBN10 0521032512
  • Pages 288
  • Published 2006
  • Fecha de publicación 23/11/2006
  • Language German, French
Read more

Reviews and ratings

Be the first to rate it!

Have you read Deductive and Declarative Programming?

Deductive and Declarative Programming

Deductive and Declarative Programming (German, French)

55,57€ 58,50€ -5%
Shipping Free
Not available
55,57€ 58,50€ -5%
Shipping Free
Not available
  • Visa
  • Mastercard
  • Klarna
  • Bizum
  • American Express
  • Paypal
  • Google Pay
  • Apple Pay
Free returns Info
Thank you for shopping at real bookstores! Thank you for shopping at real bookstores!

Exclusive promotions, discounts, and news in our newsletter

Talk to your bookseller
Do you need help finding a book?
Do you want a personal recommendation?

Whatsapp