Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Verified Software. Theories, Tools and Experiments.

Name: Verified Software. Theories, Tools and Experiments.
Brand: Springer, Berlin
SKU: 42588711
Price: 51.53 EUR
Availability: InStock
Author: Akash Lal
ISBN: 9783031258022

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

Akash Lal

Stefano Tonetta

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 42588711

Nakladnici Springer, Berlin, studeni 2022

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

Libristo kod: 42588711

125 b

51.53 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Kangastuksia Armi Susi

Meki uvez

6.95 €

Katalepsis M. Carme Roca

Meki uvez

18.65 €

La puerta de al lado BEIRO

Meki uvez

16.83 €

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.