Erweiterte Suche

Grid  List

  1. Web Services, Formal Methods, and Behavioral Types Web Services, Formal Methods, and Behavioral Types

    Web Services, Formal Methods, and Behavioral Types

    Thomas Hildebrandt
    Springer International Publishing, Springer International Publishing
    20.04.2016

    This volume contains the refereed joint proceedings of two initiatives that have been devoted to ...

    Taschenbuch
    44,94 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems

    Formal Techniques for Distributed Objects, Components, and Systems

    António Ravara
    Springer Nature Switzerland, Springer Nature Switzerland
    10.06.2023

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

    Taschenbuch
    74,89 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Behavioural Types Behavioural Types

    Behavioural Types

    Antonio Ravara
    River Publishers
    21.10.2024

    Behavioural Types: from Theory to Tools presents programming languages and software tools produce...

    Taschenbuch
    47,00 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Behavioural Types Behavioural Types

    Behavioural Types

    Simon Gay
    River Publishers
    31.07.2017

    Behavioural type systems in programming languages support the specification and verification of p...

    Gebunden
    113,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1