Fortæl dine venner om denne vare:
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions - Texts & Monographs in Symbolic Computation Wolfgang Schreiner 1st ed. 2021 edition
Har du en konto? Log ind
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions - Texts & Monographs in Symbolic Computation
Wolfgang Schreiner
636 pages, 98 Illustrations, color; 106 Illustrations, black and white; XXXIII, 636 p. 204 illus., 9
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 23. oktober 2021 |
| ISBN13 | 9783030805067 |
| Forlag | Springer Nature Switzerland AG |
| Antal sider | 636 |
| Mål | 241 × 162 × 47 mm · 1,11 kg |
| Sprog | Tysk |
Mere med Wolfgang Schreiner
Vis alle![Cover for Wolfgang Schreiner · Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation (Paperback Bog) [2023 edition] (2024)](https://imusic.b-cdn.net/images/item/original/365/9783031249365.jpg?wolfgang-schreiner-2024-concrete-abstractions-formalizing-and-analyzing-discrete-theories-and-algorithms-with-the-riscal-model-checker-texts-monographs-in-symbolic-computation-paperback-bog&class=scaled&v=1747952329)
![Cover for Wolfgang Schreiner · Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation (Hardcover bog) [2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/334/9783031249334.jpg?wolfgang-schreiner-2023-concrete-abstractions-formalizing-and-analyzing-discrete-theories-and-algorithms-with-the-riscal-model-checker-texts-monographs-in-symbolic-computation-hardcover-bog&class=scaled&v=1749593383)
Se alt med Wolfgang Schreiner ( f.eks. Hardcover bog , Paperback Bog og Bog )