Program Verification : Fundamental Issues in Computer Science, Paperback by C...
349,01 €
Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself after mathematics.
Jetzt bei Ebay:
