Communication between engineers, their managers, suppliers and customers relies on the existen...
Unser bisheriger Preis:ORGPRICE: 111,71 €
Embedded systems can be defined as information processing systems embedded into enclosing product...
Unser bisheriger Preis:ORGPRICE: 58,85 €
In the early to mid-1990's while working at what was then Motorola Se- conductor, business change...
Unser bisheriger Preis:ORGPRICE: 124,46 €
This is the second of our books designed to help the professional verifier manage complexity. Thi...
Unser bisheriger Preis:ORGPRICE: 124,43 €
This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure corre...
Unser bisheriger Preis:ORGPRICE: 112,02 €
This book describes a formally developed, network-centric Real-Time Operating System, OpenComR...
Unser bisheriger Preis:ORGPRICE: 99,45 €
Functional veri?cation is hard. Period. No disagreement here. But why is this so? Consider today’...
Unser bisheriger Preis:ORGPRICE: 164,66 €
The design and development of electrical devices involves choosing from many possible variants th...
Unser bisheriger Preis:ORGPRICE: 111,82 €
Current-mode circuits, where information is represented by the branch currents of the circuits ra...
Unser bisheriger Preis:ORGPRICE: 111,90 €
Many new topologies and circuit design techniques have emerged recently to improve the perform...
Unser bisheriger Preis:ORGPRICE: 162,21 €
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction t...
Unser bisheriger Preis:ORGPRICE: 112,11 €
3D design is now a key technology for effective collaboration between manufacturing companies....
Unser bisheriger Preis:ORGPRICE: 111,90 €