Fortell venner om denne varen:
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 profil? Logg inn
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Finnes 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
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 23. oktober 2021 |
| ISBN13 | 9783030805067 |
| Utgivere | Springer Nature Switzerland AG |
| Antall sider | 636 |
| Mål | 241 × 162 × 47 mm · 1,11 kg |
| Språk | Tysk |
Mer 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 (Pocketbok) [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-pocketbok&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 (Innbunden bok) [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-innbunden-bok&class=scaled&v=1749593383)
Se alt med Wolfgang Schreiner ( f.eks. Pocketbok , Innbunden bok og Bok )