Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 89, 2024, Proceedings | Agenda Bookshop Skip to content
Online orders placed from 19/12 onward will not arrive in time for Christmas.
Online orders placed from 19/12 onward will not arrive in time for Christmas.
Age Group_Uncategorized
Age Group_Uncategorized
automatic-update
B01=Anton Wijs
B01=Thomas Neele
Category1=Non-Fiction
Category=UK
Category=UMZ
Category=UYQ
COP=Switzerland
Delivery_Pre-order
Language_English
PA=Not yet available
Price_€50 to €100
PS=Forthcoming
softlaunch

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 89, 2024, Proceedings

★★★★★
★★★★★

English

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.

See more
€53.19
€55.99
Save 5%
Age Group_Uncategorizedautomatic-updateB01=Anton WijsB01=Thomas NeeleCategory1=Non-FictionCategory=UKCategory=UMZCategory=UYQCOP=SwitzerlandDelivery_Pre-orderLanguage_EnglishPA=Not yet availablePrice_€50 to €100PS=Forthcomingsoftlaunch

Will deliver when available. Publication date 09 Nov 2024

Product Details
  • Dimensions: 155 x 235mm
  • Publication Date: 09 Nov 2024
  • Publisher: Springer International Publishing AG
  • Publication City/Country: Switzerland
  • Language: English
  • ISBN13: 9783031661488

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept