Tim A. C. Willemse

Tim A. C. Willemse

ספרים

ספרים משותפים ואוספים

ספרים שבהם Tim A. C. Willemse מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Software Engineering and Formal MethodsCarla Ferreira

Software Engineering and Formal Methods

Carla Ferreira · 2023

Formal Techniques for Distributed Objects, Components, and SystemsKirstin Peters

Formal Techniques for Distributed Objects, Components, and Systems

Kirstin Peters · 2021