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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2021.
|
| Series: | Texts and monographs in symbolic computation.
|
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.L63
|
|---|---|
| QA76.9.L63 | Available |