Thinking programs logical modeling and reasoning about languages, data, computations, and executions /

Thinking programs [electronic resource] : logical modeling and reasoning about languages, data, computations, and executions / Wolfgang Schreiner.

This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute fro...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Main Author: Schreiner, Wolfgang, 1967-
Format: Electronic eBook
Language:English
Published: Cham, Switzerland : Springer, 2021.
Series:Texts and monographs in symbolic computation.
Subjects:
Computer logic.
Computer science > Mathematics.
Table of Contents:
  • Part I The Foundations
  • Syntax and Semantics
  • The Language of Logic
  • The Art of Reasoning
  • Building Models
  • Recursion
  • Part II The Higher Planes
  • Abstract Data Types
  • Programming Languages
  • Computer Programs
  • Concurrent Systems
  • References
  • Index.

Similar Items