Items related to Verified Software. Theories, Tools and Experiments:...
Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised ... (Lecture Notes in Computer Science, 15525) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.
The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.
"synopsis" may belong to another edition of this title.
Search results for Verified Software. Theories, Tools and Experiments:...
Stock Image
Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised . (Lecture Notes in Computer Science, 15525)
Seller: Marlton Books, Bridgeton, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2025. Seller Inventory # AB-017327
Stock Image
Verified Software. Theories, Tools and Experiments (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 # YXFHZFQYBT
Buy New
£ 40.99
£ 3.44 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Verified Software. Theories, Tools and Experiments : 16th International Conference, Vstte 2024, Prague, Czech Republic, October 14?15, 2024, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 50231742
Seller Image
Verified Software. Theories, Tools and Experiments
Published by
Springer, Berlin, Springer Nature Switzerland, Springer, 2025
ISBN 10: 3031866940
ISBN 13: 9783031866944
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 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14 15, 2024.The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with theinteraction of theory development, tool evolution and experimental validation in science and technology of software verification. 121 pp. Englisch. Seller Inventory # 9783031866944
Stock Image
Verified Software. Theories, Tools and Experiments : 16th International Conference, Vstte 2024, Prague, Czech Republic, October 14?15, 2024, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 50231742-n
Stock Image
Verified Software. Theories, Tools and Experiments : 16th International Conference, Vstte 2024, Prague, Czech Republic, October 14?15, 2024, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 50231742
Buy Used
£ 55.94
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Verified Software. Theories, Tools and Experiments : 16th International Conference, Vstte 2024, Prague, Czech Republic, October 14?15, 2024, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 50231742-n
Buy New
£ 56.69
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14?15, 2024, Revised . (Lecture Notes in Computer Science, 15525)
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26404049281
Stock Image
Verified Software. Theories, Tools and Experiments: 16th International Conference, Vstte 2024, Prague, Czech Republic, October 1415, 2024, Revised Selected Papers
Published by
Springer-Nature New York Inc, 2025
ISBN 10: 3031866940
ISBN 13: 9783031866944
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 130 pages. 9.25x6.10x9.21 inches. In Stock. Seller Inventory # x-3031866940
Buy New
£ 64.87
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14?15, 2024, Revised . (Lecture Notes in Computer Science, 15525)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 409137758
Buy New
£ 70.50
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available