Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Verified Software. Theories, Tools and Experiments
- 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers
Engelsk
Bogcover for Verified Software. Theories, Tools and Experiments af , 9783031866944
Specifikationer
Sprog:
Engelsk
Sider:
121
ISBN-13:
9783031866944
Indbinding:
Paperback
ISBN-10:
3031866940
Kategori:
Udg. Dato:
3 maj 2025
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
3 maj 2025

Verified Software. Theories, Tools and Experiments

- 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers
Engelsk
Paperback 2025
Format:

Bog beskrivelse

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.

... Vis mere

Forlags Vejl. pris
524,24 kr
Hos Booktok
409 kr
spar 22%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
121
ISBN-13:
9783031866944
Indbinding:
Paperback
ISBN-10:
3031866940
Kategori:
Udg. Dato:
3 maj 2025
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
3 maj 2025
Finder produkter...
Kategori sammenhænge