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
28-04-2026 10:16:48
Gesponsert

The Calculus of Computation

SpringerLink DE
53.49 EUR
27-04-2026 22:17:50
Gesponsert

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

Galaxus.de
53.49 EUR
27-04-2026 18:07:20

Ähnliche Produkte

Introduction to Tensor Analysis and the Calculus of Moving Surfaces

Introduction to Tensor Analysis and the Calculus of Moving Surfaces

50.35 EUR
Introduction to Stochastic Analysis and Malliavin Calculus

Introduction to Stochastic Analysis and Malliavin Calculus

29.95 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
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)

181.89 EUR
The Calculus of Computation

The Calculus of Computation

80.24 EUR
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

120.99 EUR