Deductive and Declarative Programming by P. Padawitz – Formal Verification

Name: Deductive and Declarative Programming by P. Padawitz – Formal Verification
Brand: ‎ Cambridge University Press
SKU: 9780521032513
Price: 5595.00 INR
Availability: InStock

by P. Padawitz, Peter Padawitz, C. J. Van Rijsbergen

‎ Cambridge University Press · 2006 · Paperback

₹5,595

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Deductive and Declarative Programming by P. Padawitz – Formal Verification by P. Padawitz, Peter Padawitz & others is a 285-page paperback edition published by ‎ Cambridge University Press in 2006.

Its main subjects are Computer programming, Mathematical theory of computation, Programming languages and Computers.

About the author: Peter Padawitz (born 1953).