Library - International Centre for Theoretical Sciences catalog › Results of search for 'au:"Bernhard Möller"'

Search

Your search returned 5 results.

Not what you expected? Check for suggestions

	1.	Formal Program Development by Bernhard Möller, Helmut Partsch, Steve Schuman. Series: Lecture Notes in Computer ScienceEdition: 1993Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	2.	Higher-Order Algebra, Logic, and Term Rewriting by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow. Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	3.	Higher-Order Algebra, Logic, and Term Rewriting by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller. Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	4.	Mathematics of Program Construction by Bernhard Möller. Series: Lecture Notes in Computer ScienceEdition: 1995Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1995Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5.	Prospects for Hardware Foundations by Bernhard Möller, John V. Tucker. Series: Lecture Notes in Computer ScienceEdition: 1998Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)