Skip to content
Home/ Axiomatising the Logic of Computer Programming (1982)
Axiomatising the Logic of Computer Programming (1982)

Axiomatising the Logic of Computer Programming (1982)

No customer reviews yet ISBN 9783540112105 Springer

About the author

Product details

BrandSpringer
Pub dateMar 1, 1982
ISBN-103540112103
ISBN-139783540112105
LanguageEnglish
Dimensions9.25 × 0.73 × 6.1 in
Weight1 lb
Last updated 2026-03-19 10:34
$26.28
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.