Formal Development of Programs and Proofs
44.99
USD
Book Details
Author(s)Edsger Dijkstra, E. W. Dijkstra
PublisherAddison-Wesley Professional
ISBN / ASIN0201172372
ISBN-139780201172379
Sales Rank1,881,665
MarketplaceUnited States 🇺🇸
