Model Checking Software
☆☆☆☆☆
(0 opinii)
Najniższa cena (z dostawą)
5 735,00 JPY
Liczba ofert1
Ostatnia aktualizacja1 dzień temu
| Sprzedawca | Cena produktu | Dostawa | Razem | Dostępność | Aktualizacja | |
|---|---|---|---|---|---|---|
| SP Springer Nature Author | 5 720,00 JPY | 15,00 JPY | 5 735,00 JPY | Dostępny | 1 dzień temu | Zobacz ofertę |
Ceny i dostępność mogą ulec zmianie. Ostatnia aktualizacja: 08.08.2026 23:09.
EAN
9783319325828
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 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.
Podobne produkty
Gamma Knife Neurosurgery in the Management of Intracranial Disorders
od $210.78
SDGs in Construction Economics and Organization
od $210.78
Emerging Therapies in Neurorehabilitation III
od $210.78
Ground Improvement Techniques
od $220.36
Anomaly Detection in Video Surveillance
od $220.36
Mechanism and Machine Science
od $287.42
Protein-Protein Interactions as New Drug Targets
od $287.42
Proceedings of the 7th International Conference of Transportation Research Group of India (CTRG 2023
od $287.42