IMSc Library catalog › Results of search for 'ccl=su:"Logic."'

Your search returned 5 results.

Not what you expected? Check for suggestions

			Casl Reference Manual [electronic resource] : The Complete Documentation of the Common Algebraic Specification Language / edited by Peter D. Mosses. by Mosses, Peter D [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2960Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004Online 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 Algebraic Development Techniques [electronic resource] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers / edited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas. by Fiadeiro, José Luiz [editor.] \| Mosses, Peter D [editor.] \| Orejas, Fernando [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3423Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			CASL User Manual [electronic resource] : Introduction to Using the Common Algebraic Specification Language / edited by Michel Bidoit, Peter D. Mosses. by Bidoit, Michel [editor.] \| Mosses, Peter D [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2900Source: 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
			Recent Trends in Algebraic Development Techniques [electronic resource] : 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers / edited by Didier Bert, Christine Choppy, Peter D. Mosses. by Bert, Didier [editor.] \| Choppy, Christine [editor.] \| Mosses, Peter D [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1827Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			TAPSOFT '95: Theory and Practice of Software Development [electronic resource] : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings / edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach. by Mosses, Peter D [editor.] \| Nielsen, Mogens [editor.] \| Schwartzbach, Michael I [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 915Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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