Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 2324, 2023, Revised Selected Papers | Agenda Bookshop Skip to content
Online orders placed from 19/12 onward will not arrive in time for Christmas.
Online orders placed from 19/12 onward will not arrive in time for Christmas.
Age Group_Uncategorized
Age Group_Uncategorized
automatic-update
B01=Andrew Reynolds
B01=Serdar Tasiran
Category1=Non-Fiction
Category=UMZT
Category=UYA
Category=UYD
Category=UYQE
COP=Switzerland
Delivery_Pre-order
Language_English
PA=Not yet available
Price_€50 to €100
PS=Active
softlaunch

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 2324, 2023, Revised Selected Papers

★★★★★
★★★★★

English

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 2324, 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.

See more
€53.19
€55.99
Save 5%
Age Group_Uncategorizedautomatic-updateB01=Andrew ReynoldsB01=Serdar TasiranCategory1=Non-FictionCategory=UMZTCategory=UYACategory=UYDCategory=UYQECOP=SwitzerlandDelivery_Pre-orderLanguage_EnglishPA=Not yet availablePrice_€50 to €100PS=Activesoftlaunch

Will deliver when available. Publication date 17 Aug 2024

Product Details
  • Dimensions: 155 x 235mm
  • Publication Date: 27 Jul 2024
  • Publisher: Springer International Publishing AG
  • Publication City/Country: Switzerland
  • Language: English
  • ISBN13: 9783031660634

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept