Grigore Rosu

Grigore Rosu is the author of "Tools and Algorithms for the Construction and Analysis of Systems", "Formal Approaches to Software Testing and Runtime Verification", "Algebraic Methodology and Software Technology" and "Model Checking Software".

Books by Grigore Rosu

Institution Morph...
Goguen, Joseph
Paperback:

Algebraic Methodo...
Meseguer José
Electronic book text: $109.00

Tools and Algorit...
Fisman Dana
Paperback: $49.99

Algebraic Methodo...
Meseguer Jose
Paperback: