Library - International Centre for Theoretical Sciences catalog › Results of search for 'au:"D. Bjorner"'

Your search returned 3 results.

Not what you expected? Check for suggestions

	1.	Abstract Software Specifications by D. Bjorner. Series: Lecture Notes in Computer ScienceEdition: 1980Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1980Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	2.	Towards a Formal Description of Ada by D Bjorner, O.N. Oest. Series: Lecture Notes in Computer ScienceEdition: 1980Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1980Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	3.	The Vienna Development Method: The Meta-Language by D. Bjorner, C.B. Jones. Series: Lecture Notes in Computer ScienceEdition: 1978Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1978Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)