Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8?9, 2024, Proceedings
Language: English
Published by Springer, 2024
- Softcover
- New
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
AbeBooks seller since January 19, 2007
Condition: New
US$ 89.15
Quantity: 4 available
Add to basketItem description from seller
Print on Demand.
Seller Inventory # 396183395
- Title
- Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8?9, 2024, Proceedings
- Publisher
- Springer
- Publication year
- 2024
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3031661486
- ISBN 13
- 9783031661488
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.
"Synopsis" may belong to another edition of this title.
Majestic Books
Hounslow, United Kingdom
AbeBooks seller since January 19, 2007
Shipping rates from United Kingdom to U.S.A.
| Item | 14 to 45 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 8.62 | US$ 13.07 |
Payment methods
Store description
We specialise in General Interest Books from South Asian countries.
Specialty
Art, Economics, Buddhism, Religion, Sociology, PaintingSeller's business information
BOOKS AND PERIODICALS AGENCY LTD
Unit 4 Alice way,
Hounslow, United Kingdom TW3 3UD
Terms of sale
Returns accepted if you are not satisfied with the Service or Book.
Shipping terms
Best packaging and fast delivery