IMSc Library catalog › Results of search for 'ccl=su:"Computer science" and su-to:Computer Communication Networks and au:Rozenberg, G.'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency [electronic resource] : School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988 / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg. by Bakker, J. W [editor.] \| Roever, W. -P [editor.] \| Rozenberg, G [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 354Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness [electronic resource] : REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg. by Bakker, J. W [editor.] \| Roever, W. -P [editor.] \| Rozenberg, G [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 430Source: 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