Pricelists.org Zaloguj się Załóż konto

Verification, Model Checking, and Abstract Interpretation

☆☆☆☆☆ (0 opinii)

Pokaż historię cen

Verification, Model Checking, and Abstract Interpretation

Najniższa cena (z dostawą)

8 489,00 JPY

Typowa cena1 684,59 PLN

Najniższa (90 dni)60,98 PLN

Liczba ofert4

Ostatnia aktualizacja1 tydzień temu

Zobacz najlepszą ofertę

Historia ceny (90 dni)

Pełna historia

2026-08-08 2026-08-15

Historia cen
Zaktualizowano	Cena
2026-08-08	60,98
2026-08-15	60,98

Sprzedawca	Cena produktu	Dostawa	Razem	Dostępność	Aktualizacja
SP SpringerNatureLink Shop INT	8 464,00 JPY	25,00 JPY	8 489,00 JPY	Dostępny	6 dni temu	Zobacz ofertę
SP Springer Nature Author	8 464,00 JPY	15,00 JPY	8 479,00 JPY	Dostępny	1 tydzień temu	Zobacz ofertę
SP SpringerNatureLink Shop INT	60,98 USD	25,00 USD	85,98 USD	Dostępny	6 dni temu	Zobacz ofertę
SP SpringerNatureLink Shop INT	70,00 EUR	0 zł	70,00 EUR	Dostępny	6 dni temu	Zobacz ofertę

Ceny i dostępność mogą ulec zmianie. Ostatnia aktualizacja: 08.08.2026 23:17.

EAN 9783032157003

Springer Nature

0,0

☆☆☆☆☆

0 opinii

5★ 0%

4★ 0%

3★ 0%

2★ 0%

1★ 0%

Opinie o produkcie

Imię lub nick

Ocena

Twoja opinia

Brak opinii — bądź pierwszy!

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026. The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.