Grigore Rosu

Список авторов с биографиями, датами жизни и будущими подборками всех их книг.

Книги автора

4

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification

Model Checking Software

Model Checking Software

Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology