Formal Development of Programs and Proofs

Dijkstra, Edsger,Dijkstra, E. W.

ISBN 10: 0201172372 / ISBN 13: 9780201172379

Published by Addison-Wesley, 1990

About this Item

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

Seller Inventory # S_425591159

Bibliographic Details

• Title: Formal Development of Programs and Proofs
• Publisher: Addison-Wesley
• Publication Date: 1990
• Language: English
• ISBN 10: 0201172372
• ISBN 13: 9780201172379
• Binding: hardcover
• Condition: Good

About this title

Synopsis

Formal Development of Programs and Proofs