Haben Sie Fragen? +49 (0)5563 / 999 60 39
Mein Konto Merkzettel Wunschliste Zuletzt gesehen

Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. Fields of Logic and Computation III
    -0 %

    Fields of Logic and Computation III

    Manfred Droste
    SPRINGER 22.05.2020 - 2020
    Nar: - 10.22 MB PDesc:
    Sofort lieferbar - Sofort lieferbar

    This Festschrift is published in honor of Yuri Gurevich¿s 80th birthday. An associated confere...

    Unser bisheriger Preis:ORGPRICE: 79,44 €

    Jetzt 52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  2. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Bernd Finkbeiner
    Springer Verlag GmbH 22.11.2015 - 2015
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  3. Runtime Verification

    Runtime Verification

    Bernd Finkbeiner
    Springer Verlag GmbH 04.10.2019 - 2019
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This book constitutes the refereed proceedings of the 19th International Conference on Runtime Ve...

    68,24 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  4. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Bernd Finkbeiner
    Springer Verlag GmbH 14.01.2022 - 2022
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    94,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  5. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Bernd Finkbeiner
    Springer Verlag GmbH 04.04.2024 - 2024
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen
    41,99 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  6. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Bernd Finkbeiner
    Springer Verlag GmbH 05.04.2024 - 2024
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th Intern...

    41,99 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  7. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Bernd Finkbeiner
    Springer Verlag GmbH 05.04.2024 - 2024
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th Intern...

    41,99 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  8. Lautes Denken,’Stimulated Recall’ und Dokumentarische Methode

    Lautes Denken,’Stimulated Recall’ und Dokumentarische Methode

    Karin Aguado
    Peter Lang 11.09.2018 - 2018
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    Methodische und methodologische empirische Grundlagen wurden über einen langen Zeitraum aus der P...

    62,26 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  9. Design and Verification of Cyber-Physical Systems: From Theory to Applications

    Design and Verification of Cyber-Physical Systems: From Theory to Applications

    Andreas Rauh
    Springer Verlag GmbH 20.06.2026 - 2026
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This Festschrift is dedicated to Martin Fränzle, a leading researcher in formal methods and cyber...

    86,09 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  10. Runtime Verification
    -0 %

    Runtime Verification

    Howard Barringer
    Springer Verlag GmbH 19.10.2010 - 2010
    Nar: - PDesc:
    Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 Werktagen

    This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which ...

    Unser bisheriger Preis:ORGPRICE: 98,12 €

    Jetzt 52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1