Grid   List

  1. Quantitative Evaluation of Systems

    Quantitative Evaluation of Systems

    Andras Horvath
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 15...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  2. Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Martin Davis
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 20...

    60,10 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  3. Formal Methods ¿ The Next 30 Years

    Formal Methods ¿ The Next 30 Years

    Maurice H. Ter Beek
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    60,90 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  4. Abstraction, Refinement and Proof for Probabilistic Systems

    Abstraction, Refinement and Proof for Probabilistic Systems

    Charles Carroll Morgan
    Springer New York
    Taschenbuch
    Print on Demand

    Illustrates by example the typical steps necess...

    169,68 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  5. The Science of Quantitative Information Flow

    The Science of Quantitative Information Flow

    Mário S. Alvim
    Springer International Publishing
    Buch
    Print on Demand

    This book presents a comprehensive mathematical...

    69,35 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  6. Abstraction, Refinement and Proof for Probabilistic Systems

    Abstraction, Refinement and Proof for Probabilistic Systems

    Annabelle McIver
    Springer
    Buch
    Besorgungstitel - wird vorgemerkt

    Probabilistic techniques are increasingly being...

    87,78 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga