Search Results - Bravetti, Mario

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings by International Conference on Concurrency Theory Bologna, Italy, SpringerLink (Online service)

    Published: Springer, 2009
    Description: 1 online resource (xiii, 638 pages) : illustrations.
    Other Authors: “…Bravetti, Mario…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings
  2. 2

    Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers by WS-FM (Workshop) Hoboken, N.J.), SpringerLink (Online service)

    Published: Springer, 2011
    Description: 1 online resource (viii, 190 pages) : illustrations.
    Other Authors: “…Bravetti, Mario…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers
  3. 3

    Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods,... by EPEW (Workshop) Versailles, France), SpringerLink (Online service), International Workshop on Web Services and Formal Methods

    Published: Springer, 2005
    Description: 1 online resource (xiii, 348 pages) : illustrations.
    Other Authors: “…Bravetti, Mario…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings
  4. 4

    Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings by WS-FM 2006 Vienna, Austria, SpringerLink (Online service)

    Published: Springer, 2006
    Description: 1 online resource (x, 287 pages) : illustrations.
    Other Authors: “…Bravetti, Mario…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings
  5. 5

    Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings by International Conference on Software Engineering and Formal Methods Madrid, Spain, SpringerLink (Online service)

    Published: Springer Berlin Heidelberg : Imprint : Springer, 2013
    Description: 1 online resource (xviii, 321 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Search Tools: