mario bravetti

Grid   List

  1. Web Services and Formal Methods
    Web Services and Formal Methods
    Mario Bravetti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Web Services and Formal Methods
    Web Services and Formal Methods
    Mario Bravetti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Proces...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Software Engineering and Formal Methods
    Software Engineering and Formal Methods
    Robert M. Hierons
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full paper...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. CONCUR 2009 - Concurrency Theory
    CONCUR 2009 - Concurrency Theory
    Mario Bravetti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009.
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Techniques for Computer Systems and Business Processes
    Formal Techniques for Computer Systems and Business Processes
    Mario Bravetti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Formal Techniques for Computer Systems and Business Processes
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. CONCUR 2009 - Concurrency Theory
    CONCUR 2009 - Concurrency Theory
    Mario Bravetti
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Bezug 11-15
    This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1-4, 2009. The purpose of the CONCUR conference is to bring together rese...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Web Services and Formal Methods
    Web Services and Formal Methods
    Tevfik Bultan
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Formal Techniques for Computer Systems and Business Processes
    Formal Techniques for Computer Systems and Business Processes
    Mario Bravetti
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit ede VersaillesSaint-Quentin-en-Yvelines,V- sailles, France, 1 3 September 2005. EPEW (Europea...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Web Services and Formal Methods
    Web Services and Formal Methods
    Mario Bravetti
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Pro...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Software Engineering and Formal Methods
    Software Engineering and Formal Methods
    Robert M. Hierons
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full paper...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Behavioral Types in Programming Languages
    Behavioral Types in Programming Languages
    Davide Ancona
    Now Publishers Inc
    Taschenbuch
    Bezug 11-15
    A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communication-intensive systems. Behavioral types encompass...
    140,47 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>