-
1Mathematics of Program Construction [electronic resource] : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings / Mathematics of Program Construction [electronic resource] : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings /Texto bibliotecaCOLPOS
-
2Mathematics of Program Construction [electronic resource] : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings / Mathematics of Program Construction [electronic resource] : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings /Texto bibliotecaCOLPOS
-
3Mathematics of Program Construction [electronic resource] : 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings / Mathematics of Program Construction [electronic resource] : 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings /by Boiten, Eerke A. editor., Möller, Bernhard. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
4
-
5Mathematics of Program Construction [electronic resource] : 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings / Mathematics of Program Construction [electronic resource] : 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings /by Boiten, Eerke A. editor., Möller, Bernhard. editor., SpringerLink (Online service)
Published 2002Texto bibliotecaCOLPOS -
6
-
7Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Worksh... Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Worksh...by Berghammer, Rudolf. editor., Möller, Bernhard. editor., Struth, Georg. editor., SpringerLink (Online service)
Published 2004Texto bibliotecaCOLPOS -
8Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Worksh... Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Worksh...by Berghammer, Rudolf. editor., Möller, Bernhard. editor., Struth, Georg. editor., SpringerLink (Online service)
Published 2004Texto bibliotecaCOLPOS -
9Formal Program Development [electronic resource] : IFIP TC2/WG 2.1 State-of-the-Art Report / Formal Program Development [electronic resource] : IFIP TC2/WG 2.1 State-of-the-Art Report /by Möller, Bernhard. editor., Partsch, Helmut. editor., Schuman, Steve. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS -
10Formal Program Development [electronic resource] : IFIP TC2/WG 2.1 State-of-the-Art Report / Formal Program Development [electronic resource] : IFIP TC2/WG 2.1 State-of-the-Art Report /by Möller, Bernhard. editor., Partsch, Helmut. editor., Schuman, Steve. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS -
11Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers / Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers /by Heering, Jan. editor., Meinke, Karl. editor., Möller, Bernhard. editor., Nipkow, Tobias. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
12Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers / Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers /by Heering, Jan. editor., Meinke, Karl. editor., Möller, Bernhard. editor., Nipkow, Tobias. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS