Library - International Centre for Theoretical Sciences catalog › Results of search for 'au:"W. Rance Cleaveland"'

Your search returned 2 results.

Not what you expected? Check for suggestions

	1.	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)
	2.	Tools and Algorithms for the Construction of Analysis of Systems by W. Rance Cleaveland. Series: Lecture Notes in Computer ScienceEdition: 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)