Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)
Medimops DE
48.14 EUR
Preis aktualisiert am: 23-09-2026 11:34:32
Siehe Produktangebot
Gesponsert
Decidability of Parameterized Verification
SpringerLink DE
48.14 EUR
Preis aktualisiert am: 23-09-2026 11:38:41
Siehe Produktangebot
Gesponsert
Decidability of Parameterized Verification, Fachbücher von Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov
Galaxus.de
48.14 EUR
Preis aktualisiert am: 22-09-2026 20:09:07
Siehe Produktangebot

Allgemein

Marke
Roderick Bloem

Eigenschaften

Ähnliche Produkte

Recursive Functions and Metamathematics
Recursive Functions and Metamathematics
Aus160.49 EUR 3
Produkt anzeigen
Decidability of Parameterized Verification
Decidability of Parameterized Verification
Aus42.50 EUR 2
Produkt anzeigen
Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions (Grundlehren der mathematischen Wissenschaften, 127, Band 127)
Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions (Grundlehren der mathematischen Wissenschaften, 127, Band 127)
Aus53.49 EUR 3
Produkt anzeigen
Computability and Decidability: An Introduction for Students of Computer Science (Lecture Notes in Economics and Mathematical Systems, 68, Band 68)
Computability and Decidability: An Introduction for Students of Computer Science (Lecture Notes in Economics and Mathematical Systems, 68, Band 68)
Aus53.49 EUR 3
Produkt anzeigen
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems (Synthese Library, 286, Band 286)
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems (Synthese Library, 286, Band 286)
Aus159.34 EUR 2
Produkt anzeigen
Countable Boolean Algebras and Decidability (Siberian School of Algebra and Logic)
Countable Boolean Algebras and Decidability (Siberian School of Algebra and Logic)
Aus154.52 EUR 2
Produkt anzeigen
Menü