Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, Executions (Texts & Monographs in Symbolic Computation)

Prices from
49.47

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 660, Edition: Second Edition 2026, Hardcover, Springer
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 49.47
To Shop
Amazon Marketplace Logo
£ 49.47
To Shop
Description (1)

Pages: 660, Edition: Second Edition 2026, Hardcover, Springer

Product specifications

Brand Springer
EAN
  • 9783031997044

Springer

Elimination Methods (Texts & Monographs in Symbolic Computation)

£ 85.49
More Information More Info

Springer

Computer supported Calculus (Texts and Monographs in Symbolic Computation)

£ 82.56
More Information More Info

Springer

Approximate Commutative Algebra (Texts & Monographs in Symbolic Computation)

£ 81.12
More Information More Info

Springer

Polynomial Algorithms in Computer Algebra (Texts & Monographs Symbolic Computation)

£ 42.74
More Information More Info
Featured Choice
£ 49.47
To Shop