Detailsuche

Grid  List

  1. Formal Techniques for Computer Systems and Business Processes
    0 %
    Formal Techniques for Computer Systems and Business Processes
    Mario Bravetti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 57,47 €

    Jetzt 57,46 €Ebook
    Alle Preise inkl. MwSt
  2. CONCUR 2009 - Concurrency Theory
    0 %
    CONCUR 2009 - Concurrency Theory
    Mario Bravetti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), ...

    Unser bisheriger Preis:ORGPRICE: 114,31 €

    Jetzt 114,30 €Ebook
    Alle Preise inkl. MwSt
  3. Web Services and Formal Methods
    0 %
    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 ...

    Unser bisheriger Preis:ORGPRICE: 57,50 €

    Jetzt 57,49 €Ebook
    Alle Preise inkl. MwSt
  4. Web Services and Formal Methods
    0 %
    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 ...

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  5. Software Engineering and Formal Methods
    0 %
    Software Engineering and Formal Methods
    Mario Bravetti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the11th International Conference on Software En...

    Unser bisheriger Preis:ORGPRICE: 57,57 €

    Jetzt 57,56 €Ebook
    Alle Preise inkl. MwSt
  6. CONCUR 2009 - Concurrency Theory
    0 %
    CONCUR 2009 - Concurrency Theory
    Mario Bravetti
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Print on Demand

    This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), ...

    Unser bisheriger Preis:ORGPRICE: 128,39 €

    Jetzt 106,98 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Web Services and Formal Methods
    Web Services and Formal Methods
    Tevfik Bultan
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International ...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Formal Techniques for Computer Systems and Business Processes
    Formal Techniques for Computer Systems and Business Processes
    Mario Bravetti
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Uni...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Web Services and Formal Methods
    Web Services and Formal Methods
    Mario Bravetti
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Here are the refereed proceedings of the Third International Workshop on Web Services and Form...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Software Engineering and Formal Methods
    Software Engineering and Formal Methods
    Robert M. Hierons
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the11th International Conference on Software En...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Behavioral Types in Programming Languages
    0 %
    Behavioral Types in Programming Languages
    Davide Ancona
    Now Publishers Inc
    Taschenbuch
    Print on Demand

    A recent trend in programming language research is to use behavioral type theory to ensure variou...

    Unser bisheriger Preis:ORGPRICE: 116,70 €

    Jetzt 116,69 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1