The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus
Wo zu kaufen (4) Eigenschaften
Gesponsert
The Calculus of Computation: Decision Procedures with Applications to Verification
Medimops DE
50.76 EUR
Preis aktualisiert am: 28-10-2026 16:12:00
Siehe Produktangebot
Gesponsert
The Calculus of Computation
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 10:00:53
Siehe Produktangebot
Gesponsert
The Calculus of Computation, Fachbücher von Zohar Manna, Aaron R. Bradley
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-10-2026 14:04:45
Siehe Produktangebot
Gesponsert
The Calculus of Computation
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 28-10-2026 06:36:04
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ä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
Aus115.98 EUR 3
Produkt anzeigen
Introduction to Tensor Analysis and the Calculus of Moving Surfaces
Introduction to Tensor Analysis and the Calculus of Moving Surfaces
Aus53.49 EUR 3
Produkt anzeigen
Introduction to Stochastic Analysis and Malliavin Calculus
Introduction to Stochastic Analysis and Malliavin Calculus
Aus29.95 EUR 3
Produkt anzeigen
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)
Aus167.69 EUR 2
Produkt anzeigen
Morrey Jr., Charles Bradfield: Multiple Integrals in the Calculus of Variations
Morrey Jr., Charles Bradfield: Multiple Integrals in the Calculus of Variations
Aus58.99 EUR 2
Produkt anzeigen
The Calculus of Computation
The Calculus of Computation
Aus80.24 EUR 1
Produkt anzeigen
Menü