Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems

    Formal Techniques for Distributed Objects, Components, and Systems

    Ahmed Bouajjani
    Springer, Springer
    28.05.2017

    This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Networked Systems Networked Systems

    Networked Systems

    Ahmed Bouajjani
    Springer, Springer
    24.03.2016

    This bookconstitutes the revised selected papers of the Third International Conferenceon Networke...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Ahmed Bouajjani
    Springer, Springer Spektrum
    19.06.2009

    This book constitutes the refereed proceedings of the 21st International Conference on Computer A...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Ahmed Bouajjani
    Springer, Springer
    12.01.2017

    This book constitutes the refereed proceedings of the 18th International Conference on Verificati...

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

    Automated Technology for Verification and Analysis

    Ahmed Bouajjani
    Springer, Springer
    23.10.2022

    This book constitutes the refereed proceedings of the 20th International Symposium on Automated T...

    Taschenbuch
    80,24 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Ahmed Bouajjani
    Springer, Berlin, Springer

    These proceedings contain the papers presented at the 8th Internationl S- posium on Automated Tec...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 85,59 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1