FEEDBACK Smiley face

Your search returned 7 results. Subscribe to this search

|
1. Algebra, Meaning, and Computation [electronic resource] :Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /

by Futatsugi, Kokichi [editor.] | Jouannaud, Jean-Pierre [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: No items available

2. All About Maude - A High-Performance Logical Framework [electronic resource] :How to Specify, Program and Verify Systems in Rewriting Logic /

by Clavel, Manuel [author.] | Durán, Francisco [author.] | Eker, Steven [author.] | Lincoln, Patrick [author.] | Martí-Oliet, Narciso [author.] | Meseguer, José [author.] | Talcott, Carolyn [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available

3. Concurrency, Graphs and Models [electronic resource] :Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /

by Degano, Pierpaolo [editor.] | Nicola, Rocco De [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available

4. Algebraic Methodology and Software Technology [electronic resource] :12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /

by Meseguer, José [editor.] | Roşu, Grigore [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available

5. Formal Modeling: Actors, Open Systems, Biological Systems [electronic resource] :Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /

by Agha, Gul [editor.] | Danvy, Olivier [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Online access: Click here to access online Availability: No items available

6. Specification, Algebra, and Software [electronic resource] :Essays Dedicated to Kokichi Futatsugi /

by Iida, Shusaku [editor.] | Meseguer, José [editor.] | Ogata, Kazuhiro [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.Online access: Click here to access online Availability: No items available

7. Foundations of Security, Protocols, and Equational Reasoning [electronic resource] :Essays Dedicated to Catherine A. Meadows /

by Guttman, Joshua D [editor.] | Landwehr, Carl E [editor.] | Meseguer, José [editor.] | Pavlovic, Dusko [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in