Pricelists.org Zaloguj się Załóż konto

Model Checking Software

☆☆☆☆☆ (0 opinii)

Pokaż historię cen

Najniższa cena (z dostawą)

14 299,00 JPY

Typowa cena291,39 PLN

Najniższa (90 dni)34,99 PLN

Liczba ofert2

Ostatnia aktualizacja17 godzin temu

Zobacz najlepszą ofertę

Sprzedawca	Cena produktu	Dostawa	Razem	Dostępność	Aktualizacja
SP Springer Nature Author	14 299,00 JPY	0 zł	14 299,00 JPY	Dostępny	16 godzin temu	Zobacz ofertę
SP SpringerNatureLink Shop INT	109,99 USD	15,00 USD	124,99 USD	Dostępny	1 dzień temu	Zobacz ofertę

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

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 refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022. The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.