Grigore Rosu
Grigore Rosu
ספרים
ספרים משותפים ואוספים
ספרים שבהם Grigore Rosu מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Tools and Algorithms for the Construction and Analysis of SystemsDana Fisman
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman · 2022
Model Checking SoftwareOwolabi Legunsen
Model Checking Software
Owolabi Legunsen · 2022
Algebraic Methodology and Software TechnologyJosé Meseguer
Algebraic Methodology and Software Technology
José Meseguer · 2008
Formal Approaches to Software Testing and Runtime VerificationKlaus Havelund
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund · 2006