Prodotto Ricercato: medidor de componentes
This book constitutes the proceedings of the 36th IFIP WG 6.1 International Conference on Formal Te…
A partire da
Disponibilità
This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on …
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Te…
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Te…
This book presents modern approaches to improving the energy efficiency, safety and environmental p…
The knowledge of moisture migration inside building materials and construction building components …
This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on …
This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on …
In this book we develop powerful techniques based on formal methods for the verification of correct…
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Te…
