Tools and Algorithms for the Construction and Analysis of Systems Dublin Core Títol Tools and Algorithms for the Construction and Analysis of Systems Autor Arie Gurfinkel, Marijn Heule Matèria Computer Science & Information Technology Editor Springer Nature Data de publicació 2025 Identificador 9783031906602 Font https://doi.org/10.1007/978-3-031-90660-2 Etiquetes Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →
