Model Checking Software
☆☆☆☆☆
(0 opinii)
Najniższa cena (z dostawą)
78,50 EUR
Liczba ofert2
Ostatnia aktualizacja19 godzin temu
| Sprzedawca | Cena produktu | Dostawa | Razem | Dostępność | Aktualizacja | |
|---|---|---|---|---|---|---|
| SP SpringerNatureLink Shop INT | 53,50 EUR | 25,00 EUR | 78,50 EUR | Dostępny | 19 godzin temu | Zobacz ofertę |
| SP Springer Nature Author | 53,50 EUR | 0 zł | 53,50 EUR | Dostępny | 8 godzin temu | Zobacz ofertę |
Ceny i dostępność mogą ulec zmianie. Ostatnia aktualizacja: 08.08.2026 10:24.
EAN
9783642223068
Springer Nature
0,0
☆☆☆☆☆
0 opinii
5★
0%
4★
0%
3★
0%
2★
0%
1★
0%
Opinie o produkcie
Brak opinii — bądź pierwszy!
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.
Podobne produkty
Patient Safety Coaching
od $91.97
Ethnography and Diversity
od $69.30
Smart Villages
od $91.97
Nuclear Non-Proliferation in International Law - Volume VI
od $91.97
The Price of Freedom
od $91.97
Eco-Social Policy in the OECD and the World Bank
od $91.97
Special Topics in Policing
od $122.58
Music from the Heart
od $91.97