Välkommen tillbaka till Campusbokhandeln! Vi firar med inlämningskampanj: Lämna in din kurslitteratur – få 150 :- och chansen att vinna 1 000 :-. Läs mer här!
Computer Aided Verification | 1:a upplagan
- Danskt band, Engelska, 2020
- Författare: Chao Wang, Shuvendu K. Lahiri
- Betyg:
458
kr
Skickas inom 7-18 vardagar
Butikslager
Onlinelager
I lager hos leverantör
Fler utgåvor
-
Socio-Technical Aspects in Security and Trust (2021)
458 kr
-
Computer Vision – ECCV 2020 (2020)
1093 kr
-
LATIN 2020: Theoretical Informatics (2020)
988 kr
-
Computer Vision – ECCV 2020 (2020)
1072 kr
-
Computer Vision – ECCV 2020 (2020)
1072 kr
-
Computer Vision – ECCV 2020 (2020)
1093 kr
-
Medical Image Computing and Computer Assisted Intervention – MICCAI 2020 (2020)
1156 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1305 kr
-
Predictive Intelligence in Medicine (2020)
651 kr
-
Algorithms and Architectures for Parallel Processing (2020)
1072 kr
-
Algorithms and Architectures for Parallel Processing (2020)
1072 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1326 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1326 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1326 kr
-
Information Retrieval (2020)
565 kr
-
Performance Evaluation and Benchmarking for the Era of Cloud(s) (2020)
565 kr
-
Digital Libraries for Open Knowledge (2020)
651 kr
-
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences (2020)
565 kr
-
Learning and Intelligent Optimization (2020)
819 kr
-
Financial Cryptography and Data Security (2020)
988 kr
-
Code-Based Cryptography (2020)
565 kr
-
Computer Aided Verification (2020)
458 kr
-
Theory and Applications of Satisfiability Testing – SAT 2020 (2020)
904 kr
Beskrivning
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.
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.
Produktinformation
Kategori:
Okänd
Bandtyp:
Danskt band
Språk:
Engelska
Förlag:
Springer Nature
Upplaga:
1
Utgiven:
2020-07-16
ISBN:
9783030532901
Sidantal:
683