Rigorous State-Based Methods
☆☆☆☆☆
(0 opinii)
Najniższa cena (z dostawą)
6 878,00 JPY
Typowa cena3 459,75 PLN
Najniższa (90 dni)56,50 PLN
Liczba ofert2
Ostatnia aktualizacja3 dni temu
| Sprzedawca | Cena produktu | Dostawa | Razem | Dostępność | Aktualizacja | |
|---|---|---|---|---|---|---|
| SP Springer Nature Author | 6 863,00 JPY | 15,00 JPY | 6 878,00 JPY | Dostępny | 3 dni temu | Zobacz ofertę |
| SP SpringerNatureLink Shop INT | 56,50 EUR | 15,00 EUR | 71,50 EUR | Dostępny | 3 dni temu | Zobacz ofertę |
Ceny i dostępność mogą ulec zmianie. Ostatnia aktualizacja: 08.08.2026 23:11.
EAN
9783030775438
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 proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
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