Rigorous State-Based Methods
☆☆☆☆☆
(0 reviews)
Lowest price (incl. delivery)
10 724,00 JPY
Typical price460,24 PLN
Lowest (90 days)35,71 PLN
Offers4
Last updatedpred 6 dňami
Price history (90 days)
Full history
2026-08-08
2026-08-15
| Aktualizované | Cena |
|---|---|
| 2026-08-08 | 35,71 |
| 2026-08-15 | 77,99 |
| Predajca | Product price | Delivery | Spolu | Dostupnosť | Updated | |
|---|---|---|---|---|---|---|
| SP SpringerNatureLink Shop INT | 10 724,00 JPY | free | 10 724,00 JPY | Dostupné | pred 36 minútami | View offer |
| SP Springer Nature Author | 10 724,00 JPY | 29,00 JPY | 10 753,00 JPY | Dostupné | pred 6 dňami | View offer |
| VI VitalSource | 80,24 EUR | 15,00 EUR | 95,24 EUR | Dostupné | pred 1 týždňom | View offer |
| SP SpringerNatureLink Shop INT | 88,50 EUR | 25,00 EUR | 113,50 EUR | Dostupné | pred 6 hodinami | View offer |
Ceny a dostupnosť sa môžu zmeniť. Naposledy aktualizované: 08.08.2026 13:01.
EAN
9783031331626
Springer Nature
0,0
☆☆☆☆☆
0 reviews
5★
0%
4★
0%
3★
0%
2★
0%
1★
0%
Product reviews
No reviews yet — be the first!
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.