Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
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…
Mehr
CHF 56.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Wang, Chao (Hrsg.)
- ISBN: 978-3-030-53287-1
- EAN: 9783030532871
- Produktnummer: 34419450
- Verlag: Springer International Publishing
- Sprache: Englisch
- Erscheinungsjahr: 2020
- Seitenangabe: 688 S.
- Masse: H23.5 cm x B15.5 cm x D3.6 cm 1'025 g
- Auflage: 1st ed. 2020
- Abbildungen: Paperback
- Gewicht: 1025
3 weitere Werke von Shuvendu K. (Hrsg.) Lahiri:
Bewertungen
Anmelden