Progress in Applications of Boolean Functions
A Combined Formal Methods and Simulation Framework
Edición de la obra Progress in Applications of Boolean Functions
| Autor | Matthew Macaluso, Tsutomu Sasao, Jon Butler |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2022 |
| Idioma | inglés |
| ISBN-13 | 9783031008351 |
| Número de Cutter | M114p |