Detailsuche

Grid  List

  1. Type Systems for Distributed Programs: Components and Sessions
    0 %
    Type Systems for Distributed Programs: Components and Sessions
    Ornela Dardha
    Atlantis Press
    Ebook
    Sofort lieferbar

    In this book we develop powerful techniques based on formal methods for the verification of corre...

    Unser bisheriger Preis:ORGPRICE: 96,29 €

    Jetzt 96,28 €Ebook
    Alle Preise inkl. MwSt
  2. Coordination Models and Languages
    0 %
    Coordination Models and Languages
    Ferruccio Damiani
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference o...

    Unser bisheriger Preis:ORGPRICE: 56,51 €

    Jetzt 56,50 €Ebook
    Alle Preise inkl. MwSt
  3. Coordination Models and Languages
    0 %
    Coordination Models and Languages
    Ferruccio Damiani
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference o...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Type Systems for Distributed Programs: Components and Sessions
    0 %
    Type Systems for Distributed Programs: Components and Sessions
    Ornela Dardha
    Springer, Berlin, Atlantis Press
    Buch
    Print on Demand

    In this book we develop powerful techniques based on formal methods for the verification of corre...

    Unser bisheriger Preis:ORGPRICE: 101,64 €

    Jetzt 101,63 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1