
Tell your friends about this item:
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions - Texts & Monographs in Symbolic Computation 2021 edition
Wolfgang Schreiner
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions - Texts & Monographs in Symbolic Computation 2021 edition
Wolfgang Schreiner
636 pages, 98 Illustrations, color; 106 Illustrations, black and white; XXXIII, 636 p. 204 illus., 9
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | October 24, 2022 |
ISBN13 | 9783030805098 |
Publishers | Springer Nature Switzerland AG |
Pages | 636 |
Dimensions | 1.02 kg |
Language | German |
Show all
More by Wolfgang Schreiner
See all of Wolfgang Schreiner ( e.g. Paperback Book , Hardcover Book and Book )