Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Verified Software. Theories, Tools and Experiments
- 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers
Engelsk
Bogcover for Verified Software. Theories, Tools and Experiments af , 9783031660634
Specifikationer
Sprog:
Engelsk
Sider:
109
ISBN-13:
9783031660634
Indbinding:
Paperback
ISBN-10:
3031660633
Kategori:
Udg. Dato:
27 jul 2024
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
27 jul 2024

Verified Software. Theories, Tools and Experiments

- 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers
Engelsk
Paperback 2024
Format:

Bog beskrivelse
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.
... 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:
109
ISBN-13:
9783031660634
Indbinding:
Paperback
ISBN-10:
3031660633
Kategori:
Udg. Dato:
27 jul 2024
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
27 jul 2024
Finder produkter...
Kategori sammenhænge