J. W. de Bakker
J. W. de Bakker
1939
3 ספרים במאגר
ספרים
A Decade of concurrencyJ. W. de Bakker
A Decade of concurrency
J. W. de Bakker · 1994
Stepwise refinement of distributed systemsJ. W. de Bakker
Stepwise refinement of distributed systems
J. W. de Bakker · 1990
Languages for parallel architecturesJ. W. de Bakker
Languages for parallel architectures
J. W. de Bakker · 1989
ספרים משותפים ואוספים
ספרים שבהם J. W. de Bakker מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
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
Logic programming languagesKrzysztof R. Apt
Logic programming languages
Krzysztof R. Apt · 1993