Formal Methods for Performance Evaluation المزيد من كتب Marco Bernardo & Jane Hillston

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

٢٠١٦

Formal Methods for Multicore Programming

٢٠١٥

Formal Methods for Web Services

٢٠٠٩

Formal Methods for Eternal Networked Software Systems

٢٠١١

Computer Performance Engineering

٢٠١٠

Formal Methods for Computational Systems Biology

٢٠٠٨

Formal Methods for Quantitative Aspects of Programming Languages

٢٠١٠

A Process Algebraic Approach to Software Architecture Design

٢٠١٠