This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020). 268 pp. Englisch.

Seller Inventory # 9783030636173

Contact seller

Report this item

Bibliographic Details

Title: Software Verification
Publisher: Springer International Publishing Dez 2020
Publication Date: 2020
Language: English
ISBN 10: 3030636178
ISBN 13: 9783030636173
Binding: Taschenbuch
Condition: Neu
Dimensions: 235 millimeters width by 155 millimeters height by 15 millimeters depth
Weight: 411 grams

About this title

Synopsis

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13^th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually.
The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

BuchWeltWeit Ludwig Meier e.K.
Germany

Sale & Shipping Terms

Terms of Sale

Allgemeine Gesch�ftsbedingungen mit Kundeninformationen
Inhaltsverzeichnis
Geltungsbereich
Vertragsschluss
Widerrufsrecht
Preise und Zahlungsbedingungen
Liefer- und Versandbedingungen
Eigentumsvorbehalt
M�ngelhaftung
Anwendbares Recht
Gerichtsstand
Alternative Streitbeilegung

Geltungsbereich
1.1 Diese Allgemeinen Gesch�ftsbedingungen (nachfolgend "AGB") des BuchWeltWeit Inh. Ludwig Meier e.K. (nachfolgend "Verk�ufer"), gelten f�r alle Vertr�ge, die ein Verbraucher oder Unternehmer (nachfolgend ?...

More Information

Shipping Terms

Der Versand ins Ausland findet IMMER mit DHL statt. Auch nach �sterreich verschicken wir nur mit DHL! Daher Standardversand == Luftpost!

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	5 to 15 business days	5 to 15 business days
First item	US$ 26.76	US$ 26.76

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.