Taschenbuch. Condition: 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. Seller Inventory # 9783030955601

Contact seller

Buy New

� 51.47

Convert currency

Shipping: � 19.53

From Germany to U.S.A.

Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

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

Roderick Bloem

Published by Springer International Publishing, 2022

ISBN 10: 3030955605 ISBN 13: 9783030955601

New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars

Taschenbuch. Condition: 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. Seller Inventory # 9783030955601

Contact seller

Buy New

� 51.47

Convert currency

Shipping: � 25.17

From Germany to U.S.A.

Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Software Verification (Lecture Notes in Computer Science)

Published by Springer, 2022

ISBN 10: 3030955605 ISBN 13: 9783030955601

New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars

Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP. Seller Inventory # 26394683968

Contact seller

Buy New

� 75.08

Convert currency

Shipping: � 2.97

Within U.S.A.

Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Software Verification (Lecture Notes in Computer Science)

Published by Springer, 2022

ISBN 10: 3030955605 ISBN 13: 9783030955601

New Softcover

Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars

Condition: New. Print on Demand. Seller Inventory # 401725855

Contact seller

Buy New

� 76.60

Convert currency

Shipping: � 6.50

From United Kingdom to U.S.A.

Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Software Verification

Published by Springer, Berlin|Springer International Publishing|Springer, 2022

ISBN 10: 3030955605 ISBN 13: 9783030955601

New Softcover

Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars

Condition: 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. Seller Inventory # 541924860

Contact seller