Sälj dina kursböcker, vinn presentkort på 1000 kr. Kom igång här
Computer Aided Verification | 1:a upplagan
- Danskt band, Engelska, 2020
- Författare: Chao Wang, Shuvendu K. Lahiri
- Betyg:
457
kr
Skickas inom 1-3 vardagar
Butikslager
Onlinelager
I lager hos leverantör
Fler utgåvor
-
Socio-Technical Aspects in Security and Trust (2021)
457 kr
-
Computer Vision – ECCV 2020 (2020)
1084 kr
-
LATIN 2020: Theoretical Informatics (2020)
980 kr
-
Computer Vision – ECCV 2020 (2020)
1063 kr
-
Computer Vision – ECCV 2020 (2020)
1063 kr
-
Computer Vision – ECCV 2020 (2020)
1084 kr
-
Medical Image Computing and Computer Assisted Intervention – MICCAI 2020 (2020)
1147 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1293 kr
-
Predictive Intelligence in Medicine (2020)
649 kr
-
Algorithms and Architectures for Parallel Processing (2020)
1070 kr
-
Algorithms and Architectures for Parallel Processing (2020)
1070 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1314 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1314 kr
-
Computational Science and Its Applications – ICCSA 2020 (2020)
1314 kr
-
Information Retrieval (2020)
561 kr
-
Performance Evaluation and Benchmarking for the Era of Cloud(s) (2020)
561 kr
-
Digital Libraries for Open Knowledge (2020)
645 kr
-
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences (2020)
561 kr
-
Learning and Intelligent Optimization (2020)
812 kr
-
Financial Cryptography and Data Security (2020)
980 kr
-
Code-Based Cryptography (2020)
561 kr
-
Computer Aided Verification (2020)
457 kr
-
Theory and Applications of Satisfiability Testing – SAT 2020 (2020)
896 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.
Om denna bok
Computer Aided Verification av Chao Wang och Shuvendu K. Lahiri är en Danskt band bok med 683 sidor på Engelska. Detta är den 1:a upplagan som utgavs 2020 av Springer Nature.
Spara pengar – köp begagnad från Campusbokhandeln
Köp Computer Aided Verification begagnad från Campusbokhandeln och spara upp till 25% jämfört med nypris. Du kan bevaka den här boken så får du ett mail så fort vi får in den i lager som begagnad.
Genom att köpa & sälja begagnat sänker du kostnaden för studier både för dig och nästa student samtidigt som du gör nytta för klimatet.
Produktinformation
Kategori:
Okänd
Bandtyp:
Danskt band
Språk:
Engelska
ISBN:
9783030532901
Upplaga:
1
Utgiven:
2020-07-16
Förlag:
Springer Nature
Sidantal:
683