Frank de Boer

Frank de Boer

2 ספרים במאגר

ספרים

Software Engineering and Formal MethodsFrank de Boer

Software Engineering and Formal Methods

Frank de Boer · 2020

It's All About CoordinationFrank de Boer

It's All About Coordination

Frank de Boer · 2018

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

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

FM 2015 : Formal MethodsNikolaj Bjørner

FM 2015 : Formal Methods

Nikolaj Bjørner · 2015

Concurrency verificationW.-P. de Roever

Concurrency verification

W.-P. de Roever · 2001