The Unknown Component Problem Theory and Applications /
The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | Villa, Tiziano (Autor), Yevtushenko, Nina (Autor), Brayton, Robert K. (Autor), Mishchenko, Alan (Autor), Petrenko, Alexandre (Autor), Sangiovanni-Vincentelli, Alberto (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
New York, NY :
Springer US : Imprint: Springer,
2012.
|
Edición: | 1st ed. 2012. |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Taxonomies for the Development and Verification of Digital Systems
Publicado: (2005) -
A Roadmap for Formal Property Verification
por: Dasgupta, Pallab
Publicado: (2006) -
Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
por: Czerwinski, Robert, et al.
Publicado: (2013) -
Reversible Logic Synthesis Methodologies with Application to Quantum Computing
por: Ridha Taha, Saleem Mohammed
Publicado: (2016) -
Inductive Powering Basic Theory and Application to Biomedical Systems /
por: van Schuylenbergh, Koenraad, et al.
Publicado: (2009)