Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Verified Software. Theories, Tools and Experiments

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

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

Автор: Jonathan Protzenko, Azalea Raad

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.77 € 103.22 лв

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

Информация за книгата

Автор

Jonathan Protzenko, Azalea Raad

Език

Английски език

Корици

Книга - С меки корици

Издадена

2025

страници

119

EAN

9783031866944

Enbook ID

47701896

Издател

Springer, Berlin

Теглоt

213

Размери

155 x 235

Пълно описание

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.