Items related to Model Checking Software: 30th International Symposium,...
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (Lecture Notes in Computer Science, 14624) - Softcover
Synopsis
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.
Search results for Model Checking Software: 30th International Symposium,...
Stock Image
Model Checking Software (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # XA0RGCW934
Buy New
US$ 53.58
US$ 6.19 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Model Checking Software : 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8?9, 2024, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 48475532
Stock Image
Model Checking Software : 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8?9, 2024, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 48475532-n
Seller Image
Model Checking Software
Published by
Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10: 3031661486
ISBN 13: 9783031661488
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 270 pp. Englisch. Seller Inventory # 9783031661488
Buy New
US$ 62.00
US$ 25.89 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings (Lecture Notes in Computer Science, 14624)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9783031661488_new
Buy New
US$ 76.32
US$ 14.95 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8?9, 2024, Proceedings
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 2024th edition NO-PA16APR2015-KAP. Seller Inventory # 26401275068
Stock Image
Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8?9, 2024, Proceedings
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 396183395
Buy New
US$ 92.70
US$ 8.61 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 89, 2024, Proceedings
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 260 pages. 9.25x6.10x9.21 inches. In Stock. Seller Inventory # x-3031661486
Buy New
US$ 91.03
US$ 13.24 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783031661488
Buy New
US$ 67.02
US$ 39.39 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8?9, 2024, Proceedings
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18401275062
Buy New
US$ 97.82
US$ 11.20 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available