Marcello Bonsangue

ספרים שבהם Marcello Bonsangue מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Formal methods for components and objectsFrank S. de Boer

Formal methods for components and objects

Frank S. de Boer · 2003

It's All About CoordinationFrank de Boer

It's All About Coordination

Frank de Boer · 2018

Theory and Practice of Formal MethodsErika Abraham

Theory and Practice of Formal Methods

Erika Abraham · 2016