*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Axel Legay
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    51,36 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Valeria Bertacco
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Cyrille Artho
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Keynote.- Synthesizing and Completely Testing Hardware based on Templates through Small Numbers o...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Axel Legay
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Axel Legay
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. From Programs to Systems - The Systems Perspective in Computing
    From Programs to Systems - The Systems Perspective in Computing
    Saddek Bensalem
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    51,36 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Runtime Verification
    Runtime Verification
    Axel Legay
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Risks and Security of Internet and Systems
    Risks and Security of Internet and Systems
    Frédéric Cuppens
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Models, Algorithms, Logics and Tools
    Models, Algorithms, Logics and Tools
    Luca Aceto
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Risks and Security of Internet and Systems
    Risks and Security of Internet and Systems
    Nora Cuppens
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Vulnerability analysis and classification.- Apps security.- Access control and filtering.- Cloud ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Model Checking Software
    Model Checking Software
    Fabrizio Biondi
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1