Prodotto Ricercato: testeur de composants
This book is one of a series of five volumes forming an integrated, self-study course on silicon de…
A partire da
Disponibilità
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and…
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to co…
There is currently no description available
Formal methods have been applied successfully to the verification of medium-sized programs in proto…
All modern industries rely on large and complex software systems. In order to construct such large …
This book focuses on the design and development of SU-8 polymer and silicon waveguide-based devices…
The focus in development methodologies of large and complex software systems has switched in the la…
