Decidability of Parameterized Verification

Wo zu kaufen (1) Eigenschaften
Gesponsert
Decidability of Parameterized Verification
SpringerLink DE
37.44 EUR
Preis aktualisiert am: 19-06-2026 19:40:10
Siehe Produktangebot

Allgemein

Marke
Springer International Publishing

Eigenschaften

Ähnliche Produkte

Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)
Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)
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)
Produkt anzeigen
Recursive Functions and Metamathematics
Recursive Functions and Metamathematics
Produkt anzeigen
Countable Boolean Algebras and Decidability (Siberian School of Algebra and Logic)
Countable Boolean Algebras and Decidability (Siberian School of Algebra and Logic)
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)
Produkt anzeigen
Decidability of Logical Theories and Their Combination
Decidability of Logical Theories and Their Combination
Produkt anzeigen
Menü