Grigore Rosu

Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.

Bücher des Autors

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