Your search returned 5 results.

Results
	1.	Towards a formal description of Ada ed. by D Bjorner and O N Oest by Bjorner, D., ed Oest, O. N., ed Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N80.
	2.	No cover image available VDM '90 : VDM & Z -formal methods in software development by ed. by D. Bjorner, C.A.R. Hoare and H. Langmaack Bjorner, D., ed Hoare, C.A.R., ed Langmaack, H., ed Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 N90.
	3.	Boltic computer science : selected papers ed. by J. Barzdins, D. Bjorner. by Barzdins, J., ed Bjorner, D., ed Series: Lecture notes in Computer Science, 502 ; Material type: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.09474 N91.
	4.	Abstract software specifications - Proceedings ed. by D. Bjorner by Bjorner, D., ed Series: Lecture Notes in Computer Science ; 86 Material type: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N802.
	5.	Vienna development method meta-language ed. by C.B. Jones, D. Bjorner by Jones, C.B., ed Bjorner, D., ed Series: Lecture Notes in Computer Science ; 61 Material type: Book Publication details: Berlin Springer-Verlag 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N72.

Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832

Powered by Koha