IMSc Library catalog › Results of search for 'au:"Langmaack, H. Ed."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings, 3rd International Symposium, Lubeck, 1994 by Langmaack, H. Ed \| de Roever, W.-P. Ed \| Vytopil, J. Ed. Series: Lecture notes in computer science ; 00863Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 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