Formal Methods
☆☆☆☆☆
(0 opinii)
Najniższa cena (z dostawą)
12 888,00 JPY
Typowa cena2 827,44 PLN
Najniższa (90 dni)23,85 PLN
Liczba ofert3
Ostatnia aktualizacja1 dzień temu
Historia ceny (90 dni)
Pełna historia
2026-08-07
2026-08-08
| Zaktualizowano | Cena |
|---|---|
| 2026-08-07 | 23,85 |
| 2026-08-08 | 98,09 |
| Sprzedawca | Cena produktu | Dostawa | Razem | Dostępność | Aktualizacja | |
|---|---|---|---|---|---|---|
| SP Springer Nature Author | 12 869,00 JPY | 19,00 JPY | 12 888,00 JPY | Dostępny | 13 godzin temu | Zobacz ofertę |
| SP SpringerNatureLink Shop INT | 106,50 EUR | 19,00 EUR | 125,50 EUR | Dostępny | 22 godziny temu | Zobacz ofertę |
| VI VitalSource | 506,62 ZAR | 19,00 ZAR | 525,62 ZAR | Dostępny | 1 dzień temu | Zobacz ofertę |
Ceny i dostępność mogą ulec zmianie. Ostatnia aktualizacja: 08.08.2026 06:09.
EAN
9783319955810
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 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.
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