Checking You Out
von Miranda Reese Verlag: 5 Prince Publishing and Books LLC
2026 Kartoniert, 406 Seiten, 203mm x 133mm x 24mm, Sprache(n): eng
26,22 EUR
Model Checking Software - 32nd International Symposium, SPIN 2026, Turin, Italy, April 15-16, 2026…
Verlag: Springer Nature Switzerland AG
Vorbestellbar - erscheint am 29.10.2026 2026 Kartoniert, 131 Seiten, 235mm x 155mm, Sprache(n): eng
79,54 EUR
Beispielbild für diese ISBNModel Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 2…
von Jaco van der Pol Verlag: Springer Berlin,
2010 2010. Neubindung, Buchrücken leicht angestoßen, Buchumschlag leicht geknickt 9293153/12
- Sonderaktion: 10% Rabatt bis 05.11.2026
61,72 EUR
55,55 EUR
Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 202…
von Georgiana Caltais Verlag: Springer International Publishing,
1st ed. 2023 2023. 41675383/1
- Sonderaktion: 10% Rabatt bis 05.11.2026
47,07 EUR
42,36 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
Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 201…
von Thomas Fabrizio Given-Wilson Biondi Verlag: Springer International Publishing,
2019. 35501445/1
- Sonderaktion: 10% Rabatt bis 05.11.2026
42,79 EUR
38,51 EUR
Checking with Reality
von Lillian Reimann Verlag: CreateSpace Independent Publishing Platform,
2018. Taschenbuch, Größe: 15.2 x 0.4 x 22.9 cm 58 Seiten 37465598/1
- Sonderaktion: 10% Rabatt bis 05.11.2026
5,95 EUR
5,35 EUR
Beispielbild für diese ISBNModel Checking Software - 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 20…
von Klaus Havelund Verlag: Springer Berlin,
2008 2008. Neubindung, Buchkante leicht angestossen, Cover leicht geknickt, Ausgabe 2008 4564571/12
- Sonderaktion: 10% Rabatt bis 05.11.2026
42,60 EUR
38,34 EUR
Beispielbild für diese ISBNModel Checking Software - 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedi…
von Alastair Donaldson Verlag: Springer Berlin,
2012 2012. Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 22592329/12
- Sonderaktion: 10% Rabatt bis 05.11.2026
41,32 EUR
37,19 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