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

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

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

Prices from

50.87

Featured

	£ 50.87	To Shop
	£ 50.87	To Shop

Description

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

Compare webshops (2)

Shop

Price

£ 50.87

To Shop

£ 50.87

To Shop

Description (1)

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

Brand	Springer
EAN	9783031997044

Prices were last updated on: 03-06-2026, 19:53

Springer

Elimination Methods (Texts & Monographs in Symbolic Computation)

£ 85.49

More Information More Info

Springer

Computer supported Calculus (Texts and Monographs in Symbolic Computation)

£ 80.56

More Information More Info

Springer

Approximate Commutative Algebra (Texts & Monographs in Symbolic Computation)

£ 81.57

More Information More Info

Springer

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

£ 42.74

More Information More Info

Featured Choice

£ 50.87

To Shop

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

Description

Product specifications