8 results
Type of media (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
8 results

Your search for Mario Bravetti

  1. Cover: Web Services and Formal Methods - Springer
    Mario Bravetti | Tevfik Bultan
    Web Services and Formal Methods
    7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
    03/2011
    Springer
    9783642195891 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Software Engineering and Formal Methods - Springer
    Robert M. Hierons | Mercedes G. Merayo | Mario Bravetti
    Software Engineering and Formal Methods
    11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
    09/2013
    Springer
    9783642405617 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: CONCUR 2009 - Concurrency Theory - Springer
    Mario Bravetti | Gianluigi Zavattaro
    CONCUR 2009 - Concurrency Theory
    20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
    08/2009
    Springer
    9783642040801 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 5-7 days
  4. Cover: Software Engineering and Formal Methods - Springer
    Robert M. Hierons | Mercedes G. Merayo | Mario Bravetti
    Software Engineering and Formal Methods
    11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
    09/2013
    Springer
    9783642405600 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  5. Cover: Web Services and Formal Methods - Springer
    Mario Bravetti | Tevfik Bultan
    Web Services and Formal Methods
    7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
    03/2011
    Springer
    9783642195884 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  6. Cover: Behavioral Types in Programming Languages - now publishers Inc
    Davide Ancona | Viviana Bono | Mario Bravetti
    Behavioral Types in Programming Languages
    07/2016
    1st EDN1st Edition
    now publishers Inc
    9781680831344 (ISBN)
    Book
    Paperback/Softback
    €86.00
    Shipment within 10-20 days
  7. Cover: Web Services and Formal Methods - Springer
    Mario Bravetti | Manuel Núñez | Gianluigi Zavattaro
    Web Services and Formal Methods
    Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
    09/2006
    Springer
    9783540388623 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Formal Techniques for Computer Systems and Business Processes - Springer
    Mario Bravetti | Leila Kloul | Gianluigi Zavattaro
    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
    08/2005
    Springer
    9783540287018 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days