Items related to Verified Software. Theories, Tools and Experiments:...
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected ... (Lecture Notes in Computer Science, 14095) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023.
The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.
"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 (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 # HPH2HPICKM
Buy New
£ 39.72
£ 3.34 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 : 15th International Conference, Vstte 2023, Ames, Ia, USA, October 23?24, 2023, 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 # 48204084
Seller Image
Verified Software. Theories, Tools and Experiments
Published by
Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10: 3031660633
ISBN 13: 9783031660634
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 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more. 109 pp. Englisch. Seller Inventory # 9783031660634
Stock Image
Verified Software. Theories, Tools and Experiments : 15th International Conference, Vstte 2023, Ames, Ia, USA, October 23?24, 2023, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 48204084-n
Stock Image
Verified Software. Theories, Tools and Experiments: 15th International Conference, Vstte 2023, Ames, Ia, USA, October 23?24, 2023, Revised Selected Papers
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 2024th edition NO-PA16APR2015-KAP. Seller Inventory # 26401222266
Stock Image
Verified Software. Theories, Tools and Experiments: 15th International Conference, Vstte 2023, Ames, Ia, USA, October 2324, 2023, Revised Selected Papers
Published by
Springer-Nature New York Inc, 2024
ISBN 10: 3031660633
ISBN 13: 9783031660634
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 118 pages. 9.25x6.10x9.21 inches. In Stock. Seller Inventory # x-3031660633
Buy New
£ 63.43
£ 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: 15th International Conference, Vstte 2023, Ames, Ia, USA, October 23?24, 2023, Revised Selected Papers
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 396203429
Buy New
£ 69.31
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Verified Software. Theories, Tools and Experiments: 15th International Conference, Vstte 2023, Ames, Ia, USA, October 23?24, 2023, Revised Selected Papers
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18401222256
Seller Image
Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
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 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more. Seller Inventory # 9783031660634
Seller Image
Verified Software. Theories, Tools and Experiments
Published by
Springer, Springer Jul 2024, 2024
ISBN 10: 3031660633
ISBN 13: 9783031660634
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23¿24, 2023.The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 120 pp. Englisch. Seller Inventory # 9783031660634