Thomas Neele – författare
Visar alla böcker från författaren Thomas Neele. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 14624 - Lecture Notes in Computer Science
Model Checking Software
30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
Häftad, Engelska, 2024
562 kr
Skickas inom 10-15 vardagar
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.
E-bok
Engelska, 2024712 kr
Läs direkt efter köp
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.