Author Results for "Stevens, Perdita. editor."

SpringerLink (Online service)
Stevens, Perdita. editor
Katoen, Joost-Pieter. editor
Najm, Elie. editor
Nestmann, Uwe. editor
see all »
Booch, Grady. editor
Whittle, Jon. editor

Showing 1 - 5 results of 5 for search '"Stevens, Perdita. editor."', query time: 0.07s Refine Results
  1. 1
    Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /
    Texto biblioteca
    COLPOS


    Saved in:

  2. 2
    Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /
    Texto biblioteca
    COLPOS


    Saved in:

  3. 3
    «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003. Proceedings /
    Texto biblioteca
    COLPOS


    Saved in:

  4. 4
    Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings /
    Texto biblioteca
    COLPOS


    Saved in:

  5. 5
    Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings /
    Texto biblioteca
    COLPOS


    Saved in:

Search Tools: Get RSS Feed — Email this Search — Save Search