Andere Kunden interessierten sich auch für
![Hierarchical Classifications in Constraint Satisfaction]( "Hierarchical Classifications in Constraint Satisfaction")
Hierarchical Classifications in Constraint Satisfaction30,99 €![Arithmetic Circuits]( "Arithmetic Circuits")
Arithmetic Circuits111,99 €![Model checking trace-based information flow properties]( "Model checking trace-based information flow properties")
Model checking trace-based information flow properties32,99 €![Leave No Trace]( "Leave No Trace")
Leave No Trace72,99 €![A Platform Independent Forensic Process Model for Smartphones]( "A Platform Independent Forensic Process Model for Smartphones")
A Platform Independent Forensic Process Model for Smartphones37,99 €![Dionysos Speed]( "Dionysos Speed")
Dionysos Speed19,99 €![3ds Max Speed Modeling for 3D Artists]( "3ds Max Speed Modeling for 3D Artists")
3ds Max Speed Modeling for 3D Artists56,99 €
Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.