Model Checking - Logic in computer science, Deadlock, Crash (computing), Algorithm, Logic,…
Verlag: OmniScriptum
2026 Kartoniert, 92 Seiten, 220mm x 150mm x 6mm, Sprache(n): eng
146,46 EUR
Beispielbild für diese ISBNModel Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 202…
Verlag: Springer
2023 Kartoniert, 212 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng
66,97 EUR
Beispielbild für diese ISBNModel Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Pr…
Verlag: Springer
2022 Kartoniert, 168 Seiten, 235mm x 155mm x 10mm, Sprache(n): eng
121,78 EUR
Beispielbild für diese ISBNModel Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, P…
Verlag: Springer
2021 Kartoniert, 208 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNModel Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Ein…
Verlag: Springer
2016 Kartoniert, 264 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng
60,89 EUR
Beispielbild für diese ISBNModel Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9,…
von Ezio Bartocci Verlag: Springer Berlin,
2013 2013. Gepflegter, sauberer Zustand. 23823681/2
- Sonderaktion: 10% Rabatt bis 05.11.2026
42,36 EUR
38,12 EUR
Beispielbild für diese ISBNModel Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9,…
von Ezio Bartocci Verlag: Springer Berlin,
2013 2013. Buchschnitt verkürzt - gepflegter, sauberer Zustand - Auflage 2013 23823681/12
- Sonderaktion: 10% Rabatt bis 05.11.2026
42,36 EUR
38,12 EUR
Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, Ap…
von Thomas Neele Verlag: Springer International Publishing,
2024. 43089998/1
- Sonderaktion: 10% Rabatt bis 05.11.2026
31,19 EUR
28,07 EUR
Beispielbild für diese ISBNModel Checking Software - 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 20…
Verlag: Springer
2008 Kartoniert, 356 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNSymbolic Model Checking
von Kenneth L. McMillan Verlag: Springer
2012 Kartoniert, 216 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng
60,88 EUR
- Stichwörter
- model-checking
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!
