Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. String Analysis for Software Verification and Security String Analysis for Software Verification and Security

    String Analysis for Software Verification and Security

    Tevfik Bultan
    Springer International Publishing, Springer International Publishing
    06.06.2019

    This book discusses automated string-analysis techniques, focusing particularly on automata-based...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 69,54 €

    Jetzt 64,19 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Web Services and Formal Methods Web Services and Formal Methods

    Web Services and Formal Methods

    Tevfik Bultan
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    31.03.2011

    This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. String Analysis for Software Verification and Security String Analysis for Software Verification and Security

    String Analysis for Software Verification and Security

    Tevfik Bultan
    Springer International Publishing, Springer International Publishing
    30.01.2018

    This book discusses automated string-analysis techniques, focusing particularly on automata-based...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 96,29 €

    Jetzt 90,94 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Tevfik Bultan
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the 9th International Symposium on Automated Te...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 85,59 €

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