Springer Nature
Software Verification
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually. There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.
Storico prezzi
Ricevi una notifica se il prezzo scende
Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.
- Aggiornamenti dei prezzi in tempo reale
- Oltre 50 negozi monitorati
- Avvisi gratuiti di calo prezzo
- Solo negozi verificati
Avvisami quando il prezzo scende sotto: 59,99$
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
Software Verification
44,99$
Numerical Software Verification
54,99$
Software Verification And Analysis
54,99$
Software Verification And Validation
129,99$
Challenges Of Software Verification
179,99$
Systems And Software Verification
159,99$
Deductive Software Verification: Future Perspectives
39,99$
Tools For Practical Software Verification
49,99$