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 Jan Friso Groote, Kim Guldstrand Larsen Matèria Computer Science Computer Science & Information Technology Editor Springer Nature Data de publicació 2021 Identificador 9783030720131 Font https://doi.org/10.1007/978-3-030-72013-1 Etiquetes Computer Science, Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →
