Computing and Information Technology, Computer Science, Mathematical Theory of Computation
Verified Software. Theories, Tools and Experiments

Verified Software. Theories, Tools and Experiments: Theories, Tools and Experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October, 14-15, 2024, Revised Selected Papers

, ,
Paperback Published on: 03/05/2025
£44.99
UK delivery included
In stock
Print on demand - Usually dispatched within 7-10 days
Make and edit your lists in your account
wordery
has a fantastic rating on
In stock
Print on demand - Usually dispatched within 7-10 days
wordery
has a fantastic rating on

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.

Publisher information

  • Publisher: Springer Nature Switzerland
  • ISBN: 9783031866944
  • Number of pages: 121
  • Dimensions: 235 x 155 x 235 mm
  • Weight: 213g
  • Languages: English