Library - International Centre for Theoretical Sciences catalog › Results of search for 'au:"Bernd Krieg-Brückner"'

Search

Your search returned 4 results.

Not what you expected? Check for suggestions

	1.	Algebraic Foundations of Systems Specification by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner. Series: IFIP State-of-the-Art ReportsEdition: 1999Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	2.	ANNA A Language for Annotating Ada Programs by David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe. Series: Lecture Notes in Computer ScienceEdition: 1987Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1987Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	3.	ESOP '92 by Bernd Krieg-Brückner. Series: Lecture Notes in Computer ScienceEdition: 1992Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1992Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	4.	Program Development by Specification and Transformation by Berthold Hoffmann, Bernd Krieg-Brückner. 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)