Erik de Vink

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

Formal MethodsKlaus Havelund

Formal Methods

Klaus Havelund · 2018