Name: Formal Development of Programs and Proofs
Author: Dijkstra, E. W.
ISBN: 9780201172379

by Dijkstra, E. W.

Formal Development of Programs and Proofs

by Dijkstra, E. W.

Marketplace Prices
Used from $64.89

Used
$64.89

Item Details
Condition: Good
Provider: Juggernautz Contact
Provider Rating:

85%
Ships From: East Grand Rapids, MI
Shipping: Standard, Expedited
Comments: Used texts DO NOT include any supplemental material such as; online access codes, CDs, etc. All text is legible and may contain; markings, highlighting, worn-corners, folded pages, etc, from typical use. Orders ship same or next business day w/ free tracking. Choose Expedited shipping for fastest (2-6 business day) delivery. Satisfaction Guaranteed!

ISBN-13: 9780201172379
ISBN: 0201172372
Edition: 1
Publisher: Addison Wesley Professional

AUTHOR

Dijkstra, E. W.

SUMMARY

In 1987, The University of Texas at Austin sponsored the Year of Programming, which consisted of six institutes on selected topics in computer programming. Leading scientists and practitioners were invited from around the world for lectures and tutorials, for discussion and collaboration. The general objectives of these institutes were to advance the art and science of programming and to disseminate the best of what is known about programming theory and practice.Dijkstra, E. W. is the author of 'Formal Development of Programs and Proofs' with ISBN 9780201172379 and ISBN 0201172372.

[read more]