Predicate Calculus and Program Semantics

Name: Predicate Calculus and Program Semantics
Brand: Springer-Nature New York Inc
SKU: 9781461279242
Price: 6621.00 INR
Availability: InStock

by Carel S. Scholten, Edsger W. Dijkstra

Springer-Nature New York Inc · 2011

₹6,621

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

Published by Springer-Nature New York Inc in 2011, Predicate Calculus and Program Semantics by Carel S. Scholten & Edsger W. Dijkstra runs to 231 pages. It belongs to the Texts and Monographs in Computer Science series.

Its main subjects are Logic design, Computer science and Programming languages (electronic computers).

About the author: Edsger Wybe Dijkstra (1930–2002).