Verification, Model Checking, and Abstract Interpretation
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Ηλ. βιβλίο |
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
Springer Nature,
2024.
|
| Διαθέσιμο Online: | Access eBook |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Φυσική περιγραφή: | 1 online resource |
|---|---|
| Μορφή: | Mode of access: World Wide Web. |
| ISBN: | 978-3-031-50524-9 |
| DOI: | 10.1007/978-3-031-50524-9 |