Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Risks and Security of Internet and Systems Risks and Security of Internet and Systems

    Risks and Security of Internet and Systems

    Frédéric Cuppens
    Springer International Publishing, Springer International Publishing
    02.03.2017

    This book constitutes the revised selected papers from the 11th International Conference on Risk ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Model Checking Software Model Checking Software

    Model Checking Software

    Fabrizio Biondi
    Springer International Publishing, Springer Nature Switzerland
    14.09.2019

    This book constitutes the refereed proceedings of the 26th International Symposium on Model Check...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. From Programs to Systems - The Systems Perspective in Computing From Programs to Systems - The Systems Perspective in Computing

    From Programs to Systems - The Systems Perspective in Computing

    Saddek Bensalem
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    11.03.2014

    'From Programs to Systems - The Systems Perspective in Computing' workshop (FPS 2014) was held in...

    Taschenbuch
    51,36 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Axel Legay
    Springer International Publishing, Springer International Publishing
    31.10.2013

    This book constitutes the refereed proceedings of the 9th International Haifa Verification Confer...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Marius Bozga
    Springer International Publishing, Springer International Publishing
    19.08.2014

    This book constitutes the refereed proceedings of the 12th International Conference on Formal Mod...

    Taschenbuch
    51,36 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Risks and Security of Internet and Systems Risks and Security of Internet and Systems

    Risks and Security of Internet and Systems

    Nora Cuppens
    Springer International Publishing, Springer Nature Switzerland
    24.02.2018

    This book constitutes the revised selected papers from the 12th International Conference on Risk ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Cyrille Artho
    Springer International Publishing, Springer International Publishing
    22.09.2016

    This book constitutes the proceedings of the 14th International Symposium on Automated Technology...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Models, Algorithms, Logics and Tools Models, Algorithms, Logics and Tools

    Models, Algorithms, Logics and Tools

    Luca Aceto
    Springer International Publishing, Springer Nature Switzerland
    25.07.2017

    This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors o...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Tiziana Margaria
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    31.03.2017

    The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Runtime Verification Runtime Verification

    Runtime Verification

    Saddek Bensalem
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    19.08.2013

    This book constitutes the refereed proceedings of the 4th International Conference on Runtime Ver...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Tiziana Margaria
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    31.03.2017

    The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1