*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Abstraction, Refinement and Proof for Probabilistic Systems
    Abstraction, Refinement and Proof for Probabilistic Systems
    Charles Carroll Morgan
    Springer New York, Springer New York
    Taschenbuch
    BOD - 2 Tage

    Illustrates by example the typical steps necessary in computer science to build a mathematical mo...

    162,60 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Logic for Programming, Artificial Intelligence, and Reasoning
    Logic for Programming, Artificial Intelligence, and Reasoning
    Martin Davis
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Quantitative Evaluation of Systems
    Quantitative Evaluation of Systems
    Annabelle McIver
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods - The Next 30 Years
    Formal Methods - The Next 30 Years
    Maurice H. Ter Beek
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. The Science of Quantitative Information Flow
    The Science of Quantitative Information Flow
    Mário S. Alvim
    Springer, Springer International Publishing
    Buch
    BOD - 7 Tage

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

    64,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1