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, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.08 €
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
156
EAN
9783031258022
Enbook ID
42588711
Vydavateľ
Springer, Berlin
Hmotnosť
258
Rozmery
155 x 235

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 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.

Mohlo by vás zaujímať

Modernism and the Celtic Revival

Gregory Castle
56.35 €

Uses and Misuses of Data and Models

W. James Bradley
52.33 €

South Eastern Huastec Narratives: A Trilingual Edition

Ana Kondic
48.80 €

Haunted

Janae Mitchell
7.05 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Kangastuksia

Armi Susi
6.75 €

Katalepsis

M. Carme Roca
19.10 €

La puerta de al lado

BEIRO
15.67 €