Challenges of Software Verification
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | , , |
| Format: | eBook |
| Idioma: | anglès |
| Publicat: |
Springer Nature,
2023.
|
| Matèries: | |
| Accés en línia: | Access eBook |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 22688 | ||
| 005 | 20261004182617.0 | ||
| 008 | 261004s2023 o 000 eng | ||
| 020 | |a 978-981-19-9601-6 | ||
| 100 | 1 | |a Arceri, Vincenzo |9 48749 | |
| 700 | 1 | |a Cortesi, Agostino |9 48750 | |
| 700 | 1 | |a Ferrara, Pietro |9 48751 | |
| 700 | 1 | |a Olliaro, Martina |9 48752 | |
| 245 | 0 | 0 | |a Challenges of Software Verification |
| 260 | |b Springer Nature, |c 2023. | ||
| 300 | |a 1 online resource | ||
| 650 | 4 | |a Engineering | |
| 538 | |a Mode of access: World Wide Web. | ||
| 856 | 4 | 0 | |u https://library.mist.ac.bd/ebooks/9159/go?src=vufind |z Access eBook |
| 942 | |c EBOOK | ||
| 999 | |c 22688 |d 22688 | ||