Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were c...
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2022.
|
| Έκδοση: | 1st ed. 2022. |
| Σειρά: | Lecture Notes in Computer Science,
13371 |
| Θέματα: | |
| Διαθέσιμο Online: | Link to Metadata |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Διαδίκτυο
Link to Metadata3rd Floor Main Library
| Ταξινομικός Αριθμός: |
A1234.567 |
|---|---|
| Αντίγραφο 1 | Στη βιβλιοθήκη |