Tiziana Margaria
Список авторов с биографиями, датами жизни и будущими подборками всех их книг.
Книги автора
26
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Formal Methods for Industrial Critical Systems
Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Models, Mindsets, Meta : The What, the How, and the Why Not?
Leveraging Applications of Formal Methods, Verification and Validation : Applications
Correct Hardware Design and Verification Methods
Service-Oriented Computing - ICSOC 2008
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Semantic Web Services Challenge
