EAN: 9783030532901
Bilder-Quelle: discount24.de - Sport-Freizeit
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification CAV 2020 held in Los Angeles CA USA in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification blockchain and Security Concurrency hardware verification and decision procedures and hybrid and dynamic systems. Part II: model checking software verification stochastic systems and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
Produktinformationen zuletzt aktualisiert am
27.08.2025 um 00:48 Uhr
27.08.2025 um 00:48 Uhr
Hersteller
-
EAN
9783030532901
MPN
-
ASIN
3030532909
Produktgruppe
-
Produktzustand:
Verfügbarkeit:
Versandkosten:
Sonderpreis:
(Preise zuletzt aktualisiert am: 27.08.2025 um 01:05 Uhr)
Die Preise und Versandkosten können sich seit der letzten Aktualisierung beim jeweiligen Händler verändert haben.
Alle Preise sind Angaben des jeweiligen Anbieters inklusive Umsatzsteuer, zzgl. Versand - alle Angaben ohne Gewähr.
Die Preise und Versandkosten können sich seit der letzten Aktualisierung beim jeweiligen Händler verändert haben.
Alle Preise sind Angaben des jeweiligen Anbieters inklusive Umsatzsteuer, zzgl. Versand - alle Angaben ohne Gewähr.
Grundpreise werden angezeigt und berechnet sofern möglich in Abhängigkeit eindeutiger und auslesbarer Daten
aus dem Produktnamen des jeweiligen Produktes und dem vom Shop angegeben Verkaufspreises des Produktes.
aus dem Produktnamen des jeweiligen Produktes und dem vom Shop angegeben Verkaufspreises des Produktes.