Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

2024 ed.

Book Details

Format Paperback / Softback

Book Series Lecture Notes in Computer Science

ISBN-10 3031661486

ISBN-13 9783031661488

Edition 2024 ed.

Publisher Springer International Publishing AG

Imprint Springer International Publishing AG

Country of Manufacture GB

Country of Publication GB

Publication Date Oct 13th, 2024

Print length 270 Pages

Product Classification: Computer hardware Software Engineering Artificial intelligence

Ksh 8,100.00

Werezi Extended Catalogue Delivery in 28 days

Delivery Location

County

Location

Delivery fee: Select location

Delivery in 28 days

Secure

Quality

Fast

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.

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.

Get Model Checking Software by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.

Mind, Body, & Spirit

The Mamba Mentality

Sub Total:

Digital Library
Coming Soon

Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.