Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions - Texts & Monographs in Symbolic Computation - Wolfgang Schreiner - Books - Springer Nature Switzerland AG - 9783030805067 - October 23, 2021
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 1st ed. 2021 edition

Wolfgang Schreiner

Price
CA$ 140.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 9 - 21

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
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 1st ed. 2021 edition

636 pages, 98 Illustrations, color; 106 Illustrations, black and white; XXXIII, 636 p. 204 illus., 9

Media Books     Hardcover Book   (Book with hard spine and cover)
Released October 23, 2021
ISBN13 9783030805067
Publishers Springer Nature Switzerland AG
Pages 636
Dimensions 241 × 162 × 47 mm   ·   1.16 kg
Language German  
Show all

More by Wolfgang Schreiner

See all of Wolfgang Schreiner ( e.g. Paperback Book , Hardcover Book and Book )