Cover: Verified Software. Theories, Tools and Experiments - Springer

Verified Software. Theories, Tools and Experiments

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Springer (Publisher)
Published on 2. May 2025
IX, 121 pages
E-Book
PDF with digital watermarking
978-3-031-86695-1 (ISBN)
€53.49incl. 7% vat
System requirements
for PDF with digital watermarking
E-Book Single Licence
Available for download

Description

More details

Other editions

Content

System requirements