Programmverifizierung: Grundfragen der Informatik, Taschenbuch von C...
383,17 €
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:
