Text

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III

---

Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-36 tentang Verifikasi Berbantuan Komputer, CAV 2024, yang berlangsung di Montreal, Kanada, selama 24–27 Juli 2024. Fokus utama CAV adalah memperluas batasan teknik verifikasi dengan memperluas ke domain baru seperti keamanan, komputasi kuantum, dan pembelajaran mesin.

---

Availability

No copy data

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

005.14 GUR g

Publisher

Zurich, Switzerland : Springer International Publishing., 2024

Collation

1 online resource ( XXV, 582 Pages)

Language

English

ISBN/ISSN

9783031656330

Classification

005.14

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

1

Subject(s)

Uji Coba dan Pengukuran Perangkat Lunak

Specific Detail Info

-

Statement of Responsibility

Arie Gurfinkel, Vijay Ganesh

Other Information

Cataloger

Kholif Basri

Source

https://link.springer.com/10.1007/978-3-031-65633-0

Validator

Erwin

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-031-65633-0

Journal Volume

14683

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment