Formal Development of Programs and Proofs
Book Details
Author(s)Edsger Dijkstra, E. W. Dijkstra
PublisherAddison-Wesley Professional
ISBN / ASIN0201172372
ISBN-139780201172379
MarketplaceFrance 🇫🇷
