Your search returned 4 results.

Not what you expected? Check for suggestions
E-BOOKS
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 Text;Language: English; Format: electronic available online remote; 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
E-BOOKS
ZB 2003: Formal Specification and Development in Z and B [electronic resource] : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings / edited by Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén.

by Bert, Didier [editor.] | Bowen, Jonathan P [editor.] | King, Steve [editor.] | Waldén, Marina [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2651Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
ZB 2002:Formal Specification and Development in Z and B [electronic resource] : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings / edited by Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson.

by Bert, Didier [editor.] | Bowen, Jonathan P [editor.] | Henson, Martin C [editor.] | Robinson, Ken [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2272Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
B’98: Recent Advances in the Development and Use of the B Method [electronic resource] : Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings / edited by Didier Bert.

by Bert, Didier [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1393Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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