Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions - Texts & Monographs in Symbolic Computation - Wolfgang Schreiner - Books - Springer Nature Switzerland AG - 9783030805098 - October 24, 2022
In case cover and title do not match, the title is correct

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions - Texts & Monographs in Symbolic Computation 2021 edition

Wolfgang Schreiner

Price
₪ 259
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 10 - 22
Add to your iMusic wish list

Also available as:

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions - Texts & Monographs in Symbolic Computation 2021 edition

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