Número de Cutter-SanbornM216pEntrada «Maho» → 216 · marca de obra “p”

Polynomial Formal Verification of Arithmetic Circuits

Name: Polynomial Formal Verification of Arithmetic Circuits
ISBN: 9781638284048

Autor	Alireza Mahzoon, Rolf Drechsler
Editorial	Now Publishers
Fecha de publicación	2024
Idioma	inglés
Páginas	86
ISBN-13	9781638284048
Número de Cutter	`M216p`

Polynomial Formal Verification of Arithmetic Circuits (2024) — ISBN 9781638284048 | Cutter Number