*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Theorem Proving in Higher Order Logics
    Theorem Proving in Higher Order Logics
    Victor A. Carreno
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Talks.- Formal Methods at NASA Langley.- Higher Order Unification 30 Years Later.- Regula...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Theorem Proving in Higher Order Logics
    Theorem Proving in Higher Order Logics
    Otmane Ait Mohamed
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 21st International Conference on Theorem Pr...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Verification and Evaluation of Computer and Communication Systems
    Verification and Evaluation of Computer and Communication Systems
    Ali Mili
    Palgrave Macmillan
    Taschenbuch
    BOD - 2 Tage

    Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    Yi Li
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 24th International Conference on Formal Methods and ...

    71,56 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formalized Probability Theory and Applications Using Theorem Proving
    Formalized Probability Theory and Applications Using Theorem Proving
    Sofiène Tahar
    Information Science Reference
    Buch
    BOD - 7 Tage

    Scientists and engineers often have to deal with systems that exhibit random or unpredictable ele...

    243,39 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1