Willem-Paul de Roever
Willem-Paul de Roever
2 ספרים במאגר
ספרים
Linear Time, Branching Time and Partial Order in Logics and Models for ConcurrencyWillem-Paul de Roever
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Willem-Paul de Roever · 1989
Compositionality : the Significant DifferenceWillem-Paul de Roever
Compositionality : the Significant Difference
Willem-Paul de Roever · 2003
ספרים משותפים ואוספים
ספרים שבהם Willem-Paul de Roever מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Formal methods for components and objectsFrank S. de Boer
Formal methods for components and objects
Frank S. de Boer · 2003
Formal methods for components and objectsMarcello M. Bonsangue
Formal methods for components and objects
Marcello M. Bonsangue · 2006
Formal methods for components and objectsFrank S. de Boer
Formal methods for components and objects
Frank S. de Boer · 2005
Concurrency verificationW.-P. de Roever
Concurrency verification
W.-P. de Roever · 2001
Data refinementW.-P. de Roever
Data refinement
W.-P. de Roever · 1998