Formal Development of Programs and Proofs

Formal Development of Programs and Proofs

ISBN: 0201172372

ISBN 13: 9780201172379

Author: Edsger W. Dijkstra

3.40 of 5

Click the button below to register a free account and download the file


Download PDF

Download ePub

*Disclosure:“This post may contain affiliate links and I earn from qualifying purchases”.