Raymond T. Boute

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

Formal Development of a Network-Centric RTOSEric Verhulst

Formal Development of a Network-Centric RTOS

Eric Verhulst · 2011

Teaching Formal MethodsC. Neville Dean

Teaching Formal Methods

C. Neville Dean · 2004