Thomas Neele – författare

Visar alla böcker från författaren Thomas Neele. Handla med fri frakt och snabb leverans.

2 produkter

Kategorier

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
AvThomas Neele,Anton Wijs
Häftad, Engelska, 2024
581 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.
Model Checking Software
30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
AvAnton Wijs,Thomas Neele
E-bok
Engelska, 2024
718 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.