• Produktbild: Computational Artifacts
  • Produktbild: Computational Artifacts

Computational Artifacts Towards a Philosophy of Computer Science

Fr. 209.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.01.2019

Verlag

Springer Berlin

Seitenzahl

255

Maße (L/B/H)

25.4/17.8/1.5 cm

Gewicht

522 g

Auflage

Softcover reprint of the original 1st edition 2018

Sprache

Englisch

ISBN

978-3-662-58559-7

Beschreibung

Rezension

“This superb book addresses fundamental issues for developing insight into the nature of CS as distinct from other physical sciences, engineering, or mathematics.” (Shapiro, Computing Reviews, July 15, 2019)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.01.2019

Verlag

Springer Berlin

Seitenzahl

255

Maße (L/B/H)

25.4/17.8/1.5 cm

Gewicht

522 g

Auflage

Softcover reprint of the original 1st edition 2018

Sprache

Englisch

ISBN

978-3-662-58559-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Computational Artifacts
  • Produktbild: Computational Artifacts
  • Part I, Introduction.- Computer Science.- Towards a Philosophy of Computer Science.- Part II, Ontology.- Computational Artifacts.- Logic Machines as Technical Artifacts.- The Ontology of Programs.- Software Systems as Technical Artifacts.- Part III, Semantics.- The Languages of Computer Science.- Programming Languages.- Semantic Requirements.- Semantic Varieties.- Semantics and Implementation.- Specification Languages.- Part IV, Methodology: Software Development.- Software System Methodology.- Specification.- The Philosophy of Design.- Simplicity in Design.- Modularity.- Formal Methods.- Part V, Methodology II: The Design of Programming Languages.- Simplicity and Expressive Power.- Semantics and Design.- Computational Abstraction.- Part VI Epistemology.- Varieties of Correctness.- Program Correctness.- Types and Correctness.- Artifact Correctness.- Computational Explanation.