Verified Software. Theories, Tools and Experiments.

Name: Verified Software. Theories, Tools and Experiments.
Brand: Springer, Berlin
SKU: 9783031258022
Price: 214.3 PLN
Availability: InStock

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

Autor: Akash Lal, Stefano Tonetta

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

214.30 zł

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

Informacje o książce

Autor

Akash Lal, Stefano Tonetta

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2023

strony

156

EAN

9783031258022

Enbook ID

42588711

Wydawca

Springer, Berlin

Waga

258

Wymiary

155 x 235

Pełny opis

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 focus on the challenges of the verification of cyber-physical systems with machine learning components, Sequential learning and making large-scale verified software a practical reality.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Verified Software. Theories, Tools and Experiments.

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Modernism and the Celtic Revival

Uses and Misuses of Data and Models

South Eastern Huastec Narratives: A Trilingual Edition

Haunted

Klienci, którzy kupili tę książkę, kupili również

Kangastuksia

Katalepsis

La puerta de al lado