Items related to Model Checking Software: 29th International Symposium,...
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings: 13872 (Lecture Notes in Computer Science, 13872) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023.
The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.
"synopsis" may belong to another edition of this title.
Search results for Model Checking Software: 29th 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 # D46MJ14GUD
Buy New
£ 43.63
£ 4.64 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Model Checking Software : 29th International Symposium, Spin 2023, Paris, France, April 26-27, 2023, 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 # 45870888
Stock Image
Model Checking Software : 29th International Symposium, Spin 2023, Paris, France, April 26-27, 2023, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 45870888-n
Stock Image
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings (Lecture Notes in Computer Science, 13872)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783031321566
Seller Image
Model Checking Software
Published by
Springer Nature Switzerland Mai 2023, 2023
ISBN 10: 3031321561
ISBN 13: 9783031321566
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 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023.The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing,synthesis, explicit-state model checking. 212 pp. Englisch. Seller Inventory # 9783031321566
Stock Image
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings (Lecture Notes in Computer Science, 13872)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9783031321566_new
Buy New
£ 61.59
£ 9.37 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: 29th International Symposium, SPIN 2023, Paris, France, April 26?27, 2023, Proceedings (Lecture Notes in Computer Science, 13872)
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2023 edition NO-PA16APR2015-KAP. Seller Inventory # 26396297537
Stock Image
Model Checking Software: 29th International Symposium, Spin 2023, Paris, France, April 26-27, 2023, Proceedings
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 209 pages. 9.25x6.10x0.45 inches. In Stock. Seller Inventory # x-3031321561
Buy New
£ 71.45
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26?27, 2023, Proceedings (Lecture Notes in Computer Science, 13872)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 401128094
Buy New
£ 77.54
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Model Checking Software
Published by
Springer, Berlin|Springer Nature Switzerland|Springer, 2023
ISBN 10: 3031321561
ISBN 13: 9783031321566
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 848651640
Buy New
£ 45.82
£ 41.31 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available