*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Verified Software. Theories, Tools, and Experiments
    Verified Software. Theories, Tools, and Experiments
    Thomas Wies
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This volume constitutes the thoroughly refereed post-conference proceedings of the 9th Internatio...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Thomas Wies
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 23rd International Conference on Verification, Model...

    98,34 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Automated Verification of Concurrent Search Structures
    Automated Verification of Concurrent Search Structures
    Siddharth Krishna
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    Search structures support the fundamental data storage primitives on key-value pairs: insert a pa...

    58,02 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Programming Languages and Systems
    Programming Languages and Systems
    Thomas Wies
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ...

    44,78 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Networked Systems
    Networked Systems
    Thomas Wies
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 11th International Conference on Networked ...

    59,55 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1