Filter by
Computer Aided Verification; 32nd International Conference, CAV 2020, Los Ang…
Kumpulan dua volume akses terbuka LNCS 12224 dan 12225 merupakan prosiding yang telah diseleksi dari Konferensi Internasional ke-32 tentang Verifikasi Berbantuan Komputer, CAV 2020, yang diadakan di Los Angeles, CA, AS, pada bulan Juli 2020.* 43 makalah lengkap yang disajikan bersama dengan 18 makalah alat dan 4 studi kasus, ditinjau dengan cermat dan dipilih dari 240 kiriman. Makalah-makalah t…
- Edition
- -
- ISBN/ISSN
- 978-3-030-53288-8
- Collation
- 1 online resource (XVII, 669 Pages)
- Series Title
- -
- Call Number
- 005.14 LAH c
Computer Aided Verification; 32nd International Conference, CAV 2020, Los Ang…
Kumpulan dua volume akses terbuka LNCS 12224 dan 12225 merupakan prosiding yang telah diseleksi dari Konferensi Internasional ke-32 tentang Verifikasi Berbantuan Komputer, CAV 2020, yang diadakan di Los Angeles, CA, AS, pada bulan Juli 2020.* 43 makalah lengkap yang disajikan bersama dengan 18 makalah alat dan 4 studi kasus, ditinjau dengan cermat dan dipilih dari 240 kiriman. Makalah-makalah t…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- 1 online resource (XVIII, 683 Pages)
- Series Title
- -
- Call Number
- 005.14 LAH c
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Ang…
he 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 topi…
- Edition
- 1
- ISBN/ISSN
- 9783030532918
- Collation
- XVIII, 683
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Ang…
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 t…
- Edition
- 1
- ISBN/ISSN
- 9783030532888
- Collation
- XVII, 669
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography