Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Towards a Formal Description of Ada edited by D. Bjørner, O. N. Nest. by Bjørner, D Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	2.	VDM '90 VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe Kiel, FRG, April 17-21, 1990 Proceedings / edited by D. Bjørner, C. A. R. Hoare, H. Langmaack. by Bjørner, D Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

WELCOME TO THE ICCBS LIBRARIES CATALOG