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

59.00 EUR 50.40 EUR 15% Off

Teilen:
Gesponsert

The Calculus of Computation

preigu.de
50.40 EUR
02-08-2026 19:49:32
Gesponsert

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

Galaxus.de
53.49 EUR
03-08-2026 08:38:34
Gesponsert

The Calculus of Computation: Decision Procedures with Applications to Verification

Medimops DE
53.49 EUR
02-08-2026 23:42:14
Gesponsert

The Calculus of Computation

SpringerLink DE
59.00 EUR
03-08-2026 00:59:33

Ähnliche Produkte

Introduction to Tensor Analysis and the Calculus of Moving Surfaces

Introduction to Tensor Analysis and the Calculus of Moving Surfaces

50.40 EUR
Introduction to Stochastic Analysis and Malliavin Calculus

Introduction to Stochastic Analysis and Malliavin Calculus

31.55 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

115.98 EUR
The Calculus of Computation

The Calculus of Computation

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

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

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

116.95 EUR