Decidability of Parameterized Verification
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)
48.14 EUR
Preis aktualisiert am: 16-09-2026 08:00:01
48.14 EUR
Preis aktualisiert am: 16-09-2026 08:00:01
Gesponsert Decidability of Parameterized Verification, Fachbücher von Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov
48.14 EUR
Preis aktualisiert am: 17-09-2026 13:55:09
48.14 EUR
Preis aktualisiert am: 17-09-2026 13:55:09 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Roderick Bloem






