|  |
| |
| Artikel-Nr.:
5667A-9783662585597 Herst.-Nr.:
9783662585597 EAN/GTIN:
9783662585597 |
| |
|
| | |
| With this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the nature of correctness, computational ontology and abstraction, formal methods, computational epistemology and explanation, the methodology of computer science, and the nature of computation. Weitere Informationen: | | Author: | Raymond Turner | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Philosophy of Computer Science, Ontology, Computational Artifacts, Logic Machines, Software Systems, Semantics, Programming Languages, Specification Languages, Software Development, Philosophy of Design, Modularity |
| | |
| |