Prodotto Ricercato: comprobador de componentes
Durability of Building Materials and Components provides a collection of recent research works to c…
A partire da
Disponibilità
This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of compone…
This book is one of a series of five volumes forming an integrated, self-study course on silicon de…
Formal methods have been applied successfully to the verification of medium-sized programs in proto…
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to co…
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and…
Passive Components for Dense Optical Integration presents a theoretical and numerical investigation…
The focus in development methodologies of large and complex software systems has switched in the la…
