Formal Development of Programs and Proofs
📄 Viewing lite version
Full site ›
⌛ 🇫🇷 France pricing being fetched…
Prices will appear once fetched — usually within a few minutes.
View in:
🇺🇸 USA
Book Details
Author(s)Edsger Dijkstra, E. W. Dijkstra
PublisherAddison-Wesley Professional
ISBN / ASIN0201172372
ISBN-139780201172379
MarketplaceFrance 🇫🇷