IMSc Library catalog › Results of search for 'au:"de Roever, W.-P. Ed."'

Your search returned 3 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
			Stepwise Refinement of Distributed Systems Proceedings, REX Workshop, Mook, The Netherlands, 1989 by de Bakker, J W. Ed \| de Roever, W P. Ed \| Rozenberg, G. Ed. Series: Lecture notes in computer science ; 00430Material 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: 11 Call number: 681 LNCS. Place hold Log in to add tags
			Linear time, branching time and partial order in logics and models for concurrency : by de Bakker, J.W Ed \| de Roever, W.P. Ed \| Rozenberg,G. Ed. Series: Lecture notes in computer science ; 00354Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 8 Call number: 681 LNCS. Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha