
Conte aos seus amigos sobre este item:
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions - Texts & Monographs in Symbolic Computation 1st ed. 2021 edition
Wolfgang Schreiner
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions - Texts & Monographs in Symbolic Computation 1st ed. 2021 edition
Wolfgang Schreiner
636 pages, 98 Illustrations, color; 106 Illustrations, black and white; XXXIII, 636 p. 204 illus., 9
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 23 de outubro de 2021 |
ISBN13 | 9783030805067 |
Editoras | Springer Nature Switzerland AG |
Páginas | 636 |
Dimensões | 241 × 162 × 47 mm · 1,16 kg |
Idioma | German |
Mostrar tudo
Mais por Wolfgang Schreiner
Ver tudo de Wolfgang Schreiner ( por exemplo Paperback Book , Hardcover Book e Book )