The spine of software : designing provably correct software, theory and practice or a mathematical introduction to the semantics of computer programs.

Baber, Robert Laurence:

Published by Chichester, Wiley, 1987
Language: English
Condition: Used Hardcover

Sold by Antiquariat Bookfarm, Löbnitz, Germany

AbeBooks Seller since 28 October 2009

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


Used - Hardcover

Price:
£ 6.62
£ 34.27 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket