IMSc Library catalog › Results of search for 'ccl=su:"Computer science" and su-to:Logics and Meanings of Programs and au:Ehrig, Hartmut'

Your search returned 3 results.

Not what you expected? Check for suggestions

			Integration of Software Specification Techniques for Applications in Engineering [electronic resource] : Priority Program SoftSpez of the German Research Foundation (DFG), Final Report / edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper. by Ehrig, Hartmut [editor.] \| Damm, Werner [editor.] \| Desel, Jörg [editor.] \| Große-Rhode, Martin [editor.] \| Reif, Wolfgang [editor.] \| Schnieder, Eckehard [editor.] \| Westkämper, Engelbert [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3147Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Formal Methods and Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher. by Ehrig, Hartmut [editor.] \| Floyd, Christiane [editor.] \| Nivat, Maurice [editor.] \| Thatcher, James [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 186Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Recent Trends in Data Type Specification [electronic resource] : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers / edited by Hartmut Ehrig, Fernando Orejas. by Ehrig, Hartmut [editor.] \| Orejas, Fernando [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 785Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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