Formal Verification of Structurally Complex Multipliers Dublin Core Títol Formal Verification of Structurally Complex Multipliers Autor Alireza Mahzoon, Daniel Große, Rolf Drechsler Matèria Engineering Physical Sciences and Engineering Editor Springer Nature Data de publicació 2023 Identificador 9783031245718 Font https://doi.org/10.1007/978-3-031-24571-8 Etiquetes Engineering, Physical Sciences and Engineering Col·lecció Physical Sciences and Engineering ← ítem anterior Ítem següent →