Search Results - Möller, Bernhard, 1953-

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /

Other Authors: “…Möller, Bernhard, 1953-…”
Full Text (via Springer)

Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of...

Other Authors: “…Möller, Bernhard, 1953-…”
Access full-text online

Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kl...

Other Authors: “…Möller, Bernhard, 1953-…”
Full Text (via Springer)

Prospects for hardware foundations : ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters /

Other Authors: “…Möller, Bernhard, 1953-…”

Prospects for hardware foundations ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters /

Other Authors: “…Möller, Bernhard, 1953-…”
Full Text (via Springer)

Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleen...

Other Authors: “…Möller, Bernhard, 1953-…”
Full Text (via Springer)

Formal program development : IFIP TC2/WG 2.1 state-of-the-art report /

Other Authors: “…Möller, Bernhard, 1953-…”