-
TaschenbuchBOD - 2 Tage
VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-...
-
TaschenbuchBOD - 2 Tage
This report describes the partially completed correctness proof of the Viper 'block model'. Viper...
-
TaschenbuchBOD - 2 Tage
It is many years since Landin, Burge and others showed us how to apply higher order techniques an...
-
TaschenbuchBOD - 2 Tage
This book presents five tutorial-style lectures on various approaches to the problem of verifying...
-
TaschenbuchBOD - 2 Tage
As the costs of power and timing become increasingly difficult to manage in traditional synchrono...
-
BuchBOD - 7 Tage
Eine grundlegende Untersuchung zur Entwicklung Asger Jorns KunsttheorieAuf den ersten Blick schei...
- 1