Delivery included to the United States

Formal Development of Programs and Proofs

Formal Development of Programs and Proofs - The UT Year of Programming Series

Hardback (01 Jan 1990)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Book information

ISBN: 9780201172379
Publisher: Pearson Education
Imprint: Addison-Wesley
Pub date:
DEWEY: 005.1
DEWEY edition: 19
Language: English
Number of pages: 256
Weight: 500g
Height: 242mm
Width: 167mm
Spine width: 19mm