The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus
Wo zu kaufen (4) Eigenschaften
Gesponsert
The Calculus of Computation
preigu.de
50.40 EUR
Preis aktualisiert am: 10-08-2026 01:03:27
Siehe Produktangebot
Gesponsert
The Calculus of Computation: Decision Procedures with Applications to Verification
Medimops DE
50.76 EUR
Preis aktualisiert am: 06-09-2026 20:28:13
Siehe Produktangebot
Gesponsert
The Calculus of Computation, Fachbücher von Zohar Manna, Aaron R. Bradley
Galaxus.de
53.49 EUR
Preis aktualisiert am: 01-09-2026 21:44:35
Siehe Produktangebot
Gesponsert
The Calculus of Computation
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:22:10
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
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)
Produkt anzeigen
Introduction to Tensor Analysis and the Calculus of Moving Surfaces
Introduction to Tensor Analysis and the Calculus of Moving Surfaces
Produkt anzeigen
Introduction to Stochastic Analysis and Malliavin Calculus
Introduction to Stochastic Analysis and Malliavin Calculus
Produkt anzeigen
Morrey Jr., Charles Bradfield: Multiple Integrals in the Calculus of Variations
Morrey Jr., Charles Bradfield: Multiple Integrals in the Calculus of Variations
Produkt anzeigen
The Calculus of Computation
The Calculus of Computation
Produkt anzeigen
Menü