Què són els llibres de prova
Col·leccions
Cerca
Suggeriment de compra
Cerca
Salta al contingut principal
Ebs
Què són els llibres de prova
Col·leccions
Cerca
Suggeriment de compra
Computer Aided Verification
Autor
Arie Gurfinkel, Vijay Ganesh
Matèria
Editor
Springer Nature
Data publicació
2024
Identificador
9783031656330
Col·lecció
Intelligent Technologies and Robotics
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-65633-0