IMSc Library catalog › Results of search for 'au:"Bjørner, D."'

Your search returned 5 results.

Not what you expected? Check for suggestions

			Towards a Formal Description of Ada by Bjorner, D. Ed \| Oest, O N. Ed. Series: Lecture notes in computer science ; 00098Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1980Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			VDM '87 - VDM a formal method at work Proceedings, VDM-Europe Symp., Belgium, 1987 by Bjorner, D. et al Eds. Series: Lecture notes in computer science ; 00252Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS. Place hold Log in to add tags
			VDM '90 - VDM and Z-Formal Methods in Software Development Proceedings, 3rd International Symp. Kiel, FRG, 1990 by Bjorner, D. Ed \| Hoare, C A R. Ed \| Langmaack, H. Ed. Series: Lecture notes in computer science ; 00428Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS. Place hold Log in to add tags
			Towards a Formal Description of Ada [electronic resource] / edited by D. Bjørner, O. N. Nest. by Bjørner, D [editor.] \| Nest, O. N [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 98Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			VDM '90 VDM and Z — Formal Methods in Software Development [electronic resource] : 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 [editor.] \| Hoare, C. A. R [editor.] \| Langmaack, H [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 428Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha