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 Armin Biere, David Parker Matèria Computer Science & Information Technology Editor Springer Nature Data de publicació 2020 Identificador 9783030451905 Font https://doi.org/10.1007/978-3-030-45190-5 Etiquetes Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →
