The Calculus of Computation: Decision Procedures with Applications to Verification | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. The Calculus of Computation: Decision Procedures with Applications to Verification
  • #
  • #

The Calculus of Computation: Decision Procedures with Applications to Verification

53.49 EUR 50.76 EUR 5% Off

Teilen:
Gesponsert

The Calculus of Computation: Decision Procedures with Applications to Verification

Medimops DE
50.76 EUR
11-10-2026 20:26:46
Gesponsert

The Calculus of Computation

Hugendubel
53.49 EUR
10-10-2026 19:10:22
Gesponsert

The Calculus of Computation, Fachbücher von Zohar Manna, Aaron R. Bradley

Galaxus.de
53.49 EUR
09-10-2026 03:27:31
Gesponsert

The Calculus of Computation

SpringerLink DE
53.49 EUR
11-10-2026 14:22:17

Ähnliche Produkte

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

115.98 EUR
Introduction to Stochastic Analysis and Malliavin Calculus

Introduction to Stochastic Analysis and Malliavin Calculus

29.95 EUR
Introduction to Tensor Analysis and the Calculus of Moving Surfaces

Introduction to Tensor Analysis and the Calculus of Moving Surfaces

53.49 EUR
Morrey Jr., Charles Bradfield: Multiple Integrals in the Calculus of Variations

Morrey Jr., Charles Bradfield: Multiple Integrals in the Calculus of Variations

58.84 EUR
The Calculus of Computation

The Calculus of Computation

80.24 EUR
Mathematical Problems in Image Processing: Partial Differential Equations and the Calculus of Variations (Applied Mathematical Sciences)

Mathematical Problems in Image Processing: Partial Differential Equations and the Calculus of Variations (Applied Mathematical Sciences)

167.69 EUR