Gwen Salaün

ספרים שבהם Gwen Salaün מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Formal Aspects of Component SoftwareCorina S Pasareanu

Formal Aspects of Component Software

Corina S Pasareanu · 2021

Software Engineering and Formal MethodsDimitra Giannakopoulou

Software Engineering and Formal Methods

Dimitra Giannakopoulou · 2014

Software Technologies : Applications and FoundationsManuel Mazzara

Software Technologies : Applications and Foundations

Manuel Mazzara · 2018