Bol used 32,95 32,95 Bekijk 
Amazon.nl Bekijk prijs 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. He describes a formal model of circuit operation, defines the proper relationship between an implementation and its specification, and constructs a computer program that can check this relationship.
Asynchronous or speed-independent...
De Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits is een populaire optie voor Computers & Informatica. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.
