Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Verified Software. Theories, Tools and Experiments. Akash Lal

Verified Software. Theories, Tools and Experiments.

14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Autor: Akash Lal, Stefano Tonetta
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer Nature B.V.
Dostupnosť: Skladom u dodávateľa
Odosielame za 10-18 dní
55.21 €
This book constitutes the refereed proceedings of the 14th International Conference on Verified Soft...

Informácie o knihe

Autor
Akash Lal, Stefano Tonetta
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2023
Stránok
180
EAN
9783031258046
Enbook ID
43417911
Vydavateľ
Springer Nature B.V.
Hmotnosť
262
Rozmery
156 x 234

Kompletný popis

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17-18, 2022.

The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

Mohlo by vás zaujímať

Radio Telescopes

D. V. Skobel tsyn
54.13 €

How Writing Works

Dominic Wyse
35.30 €

Transdisciplinary Thinking and Acting

Mathias Schüz
169.57 €