Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Verified Software. Theories, Tools and Experiments

Name: Verified Software. Theories, Tools and Experiments
Brand: Springer, Berlin
SKU: 9783031866944
Price: 54.26 EUR
Availability: InStock

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Autor: Jonathan Protzenko, Azalea Raad

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 11-15 dní

54.26 €

This book constitutes the refereed proceedings of the 16th International Conference on Verified Soft...

Informácie o knihe

Autor

Jonathan Protzenko, Azalea Raad

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2025

Stránok

119

EAN

9783031866944

Enbook ID

47701896

Vydavateľ

Springer, Berlin

Hmotnosť

213

Rozmery

155 x 235

Kompletný popis

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.