Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Quantitative Evaluation of Systems Quantitative Evaluation of Systems

    Quantitative Evaluation of Systems

    Andras Horvath
    Springer International Publishing, Springer Nature Switzerland
    15.08.2018

    This book constitutes the proceedings of the 15th International Conference on Quantitative Evalua...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Martin Davis
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    03.12.2015

    This book constitutes the proceedings of the 20thInternational Conference on Logic for Programmin...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods - The Next 30 Years Formal Methods - The Next 30 Years

    Formal Methods - The Next 30 Years

    Maurice H. Ter Beek
    Springer International Publishing, Springer International Publishing
    15.09.2019

    This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Abstraction, Refinement and Proof for Probabilistic Systems Abstraction, Refinement and Proof for Probabilistic Systems

    Abstraction, Refinement and Proof for Probabilistic Systems

    Charles Carroll Morgan
    Springer New York, Springer New York
    19.11.2010

    Probabilistic techniques are increasingly being employed in computer programs and systems because...

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. The Science of Quantitative Information Flow The Science of Quantitative Information Flow

    The Science of Quantitative Information Flow

    Mário S. Alvim
    Springer International Publishing, Springer International Publishing
    23.09.2020

    This book presents a comprehensive mathematical theory that explains precisely what information f...

    Gebunden
    64,19 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Abstraction, Refinement and Proof for Probabilistic Systems Abstraction, Refinement and Proof for Probabilistic Systems

    Abstraction, Refinement and Proof for Probabilistic Systems

    Annabelle McIver
    Springer New York
    19.11.2004

    Probabilistic techniques are increasingly being employed in computer programs and systems because...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 166,50 €

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