Formal Methods for Eternal Networked Software Systems Marco Bernardo & Valérie Issarny의 도서 더 보기

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016년
Formal Methods for Multicore Programming Formal Methods for Multicore Programming
Formal Methods for Multicore Programming
2015년
Formal Methods for Web Services Formal Methods for Web Services
Formal Methods for Web Services
2009년
Formal Methods for Performance Evaluation Formal Methods for Performance Evaluation
Formal Methods for Performance Evaluation
2007년
Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
2010년
Formal Methods for Computational Systems Biology Formal Methods for Computational Systems Biology
Formal Methods for Computational Systems Biology
2008년
Formal Methods for Quantitative Aspects of Programming Languages Formal Methods for Quantitative Aspects of Programming Languages
Formal Methods for Quantitative Aspects of Programming Languages
2010년
A Process Algebraic Approach to Software Architecture Design A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
2010년