Model Checking Software
☆☆☆☆☆
(0 reviews)
| 販売者 | Product price | Delivery | 合計 | 在庫状況 | Updated | |
|---|---|---|---|---|---|---|
| SP SpringerNatureLink Shop INT | 47,50 EUR | 25,00 EUR | 72,50 EUR | 在庫あり | 4日前 | View offer |
| SP Springer Nature Author | 47,50 EUR | free | 47,50 EUR | 在庫あり | 4日前 | View offer |
価格や在庫状況は変更される場合があります。 最終更新: 08.08.2026 09:13.
EAN
9783031661495
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 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
Similar products
Patient Safety Coaching
from $91.97
Ethnography and Diversity
from $69.30
Smart Villages
from $91.97
Nuclear Non-Proliferation in International Law - Volume VI
from $91.97
The Price of Freedom
from $91.97
Eco-Social Policy in the OECD and the World Bank
from $91.97
Special Topics in Policing
from $122.58
Music from the Heart
from $91.97