Methodology of Computer Science

In Luciano Floridi (ed.), The Blackwell guide to the philosophy of computing and information. Blackwell. pp. 318–326 (2003)
  Copy   BIBTEX

Abstract

The prelims comprise: Introduction Computer Science and Mathematics The Formal Verification Debate Abstraction in Computer Science Conclusion.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,676

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2014-01-31

Downloads
31 (#723,665)

6 months
7 (#693,398)

Historical graph of downloads
How can I increase my downloads?