Grid   List

  1. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Axel Legay
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    The two-book set LNCS 10205 + 10206 constitutes...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Axel Legay
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    The two-book set LNCS 10205 + 10206 constitutes...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Risks and Security of Internet and Systems

    Risks and Security of Internet and Systems

    Frédéric Cuppens
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the revised selected pape...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Runtime Verification

    Runtime Verification

    Axel Legay
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. From Programs to Systems - The Systems Perspective in Computing

    From Programs to Systems - The Systems Perspective in Computing

    Saddek Bensalem
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    'From Programs to Systems - The Systems Perspec...

    50,28 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Valeria Bertacco
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Model Checking Software

    Model Checking Software

    Fabrizio Biondi
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Axel Legay
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    50,28 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  9. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Cyrille Artho
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 14...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  10. Risks and Security of Internet and Systems

    Risks and Security of Internet and Systems

    Nora Cuppens
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the revised selected pape...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  11. Models, Algorithms, Logics and Tools

    Models, Algorithms, Logics and Tools

    Luca Aceto
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This Festschrift is published in honor of Kim G...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  12. Risks and Security of Internet and Systems

    Risks and Security of Internet and Systems

    Frédéric Cuppens
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the revised selected pape...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
  2. 2
Google Plus
Powered by Inooga