Library - International Centre for Theoretical Sciences catalog › Results of search for 'ccl=au:"Tiziana Margaria, Bernhard Steffen"'

Your search returned 3 results.

Not what you expected? Check for suggestions

	1.	Services and Visualization: Towards User-Friendly Design by Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga. 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)
	2.	Tools and Algorithms for the Construction and Analysis of Systems by Tiziana Margaria, Bernhard Steffen. 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)
	3.	Tools and Algorithms for the Construction and Analysis of Systems by Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen. 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)