Articles liés à Software Verification
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 52,76
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Software Verification
Image d'archives
Software Verification (Lecture Notes in Computer Science)
Edité par
Springer, 2022
ISBN 10 : 3030955605
ISBN 13 : 9783030955601
Ancien ou d'occasion
paperback
Vendeur : Bookmonger.Ltd, HILLSIDE, NJ, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
paperback. Etat : Good. Crease on cover*. N° de réf. du vendeur mon0000658644
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Software Verification
Edité par
Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10 : 3030955605
ISBN 13 : 9783030955601
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.This book constitu. N° de réf. du vendeur 541924860
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Verification (Programming and Software Engineering)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783030955601_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18¿19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18¿19, 2021, Revised Selected Papers
Edité par
Springer International Publishing, 2022
ISBN 10 : 3030955605
ISBN 13 : 9783030955601
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783030955601
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Software Verification
Edité par
Springer International Publishing Feb 2022, 2022
ISBN 10 : 3030955605
ISBN 13 : 9783030955601
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 212 pp. Englisch. N° de réf. du vendeur 9783030955601
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Software Verification
ISBN 10 : 3030955605
ISBN 13 : 9783030955601
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch. N° de réf. du vendeur 9783030955601
Quantité disponible : 2 disponible(s)
Image d'archives
Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021,
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783030955601
Quantité disponible : 10 disponible(s)
Image d'archives
Software Verification (Lecture Notes in Computer Science)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. 1st ed. 2022 edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26394683968
Quantité disponible : 4 disponible(s)
Image d'archives
Software Verification (Lecture Notes in Computer Science)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 401725855
Quantité disponible : 4 disponible(s)
Image d'archives
Software Verification (Lecture Notes in Computer Science)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18394683978
Quantité disponible : 4 disponible(s)