Filter by
Computer Aided Verification; 31st International Conference, CAV 2019, New Yor…
Kumpulan LNC 11561 dan 11562 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-31 tentang Verifikasi Berbantuan Komputer, CAV 2019, yang diadakan di New York City, AS, pada Juli 2019. 52 makalah lengkap yang dipresentasikan bersama dengan 13 makalah alat dan 2 studi kasus, ditinjau dan dipilih dengan cermat dari 258 pengajuan. Makalah-makalah tersebut disusun dalam ba…
- Edition
- -
- ISBN/ISSN
- 978-3-030-25540-4
- Collation
- 1 online resource (680 Pages)
- Series Title
- -
- Call Number
- 005.14 DRI c
Computer Aided Verification; 31st International Conference, CAV 2019, New Yor…
Kumpulan LNC dua jilid akses terbuka 11561 dan 11562 merupakan prosiding wasit dari Konferensi Internasional ke-31 tentang Verifikasi Berbantuan Komputer, CAV 2019, yang diadakan di New York City, AS, pada Juli 2019. 52 makalah lengkap yang dipresentasikan bersama dengan 13 makalah alat dan 2 studi kasus, ditinjau dan dipilih dengan cermat dari 258 pengajuan. Makalah-makalah tersebut disusun da…
- Edition
- -
- ISBN/ISSN
- 978-3-030-25543-5
- Collation
- 1 online resource (558 Pages)
- Series Title
- -
- Call Number
- 005.14 DRI c
Computer Aided Verification; 30th International Conference, CAV 2018, Held as…
Kumpulan LNC 10980 dan 10981 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-30 tentang Verifikasi Berbantuan Komputer, CAV 2018, yang diadakan di Oxford, Inggris, pada Juli 2018. 52 makalah lengkap dan 13 makalah alat yang dipresentasikan bersama dengan 3 makalah undangan dan 2 tutorial ditinjau dan dipilih dengan cermat dari 215 kiriman. Makalah ini mencakup berba…
- Edition
- -
- ISBN/ISSN
- 978-3-319-96142-2
- Collation
- 1 online resource (553 Pages)
- Series Title
- -
- Call Number
- 005.14 CHO c
Computer Aided Verification; 30th International Conference, CAV 2018, Held as…
Kumpulan LNC 10980 dan 10981 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-30 tentang Verifikasi Berbantuan Komputer, CAV 2018, yang diadakan di Oxford, Inggris, pada Juli 2018. 52 makalah lengkap dan 13 makalah alat yang dipresentasikan bersama dengan 3 makalah undangan dan 2 tutorial ditinjau dan dipilih dengan cermat dari 215 kiriman. Makalah ini mencakup berba…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-96145-3
- Collation
- 1 online resource (709 Pages)
- Series Title
- -
- Call Number
- 005.14 CHO c
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography