
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III
Rezumat
Despre această carte
- Limbă:English
- ISBN:9783032325372
- Data lansării:23 iul. 2026
- Editura:Springer Nature Switzerland
- Casetă tehnică:Springer
- Formatul fișierului:EPUB3
- Dimensiunea fișierului:69.50 MB
- Opțiuni de descărcare:EPUB3 (Adobe DRM)



