Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Theory and Applications of Satisfiability Testing -- SAT 2012 Theory and Applications of Satisfiability Testing -- SAT 2012

    Theory and Applications of Satisfiability Testing -- SAT 2012

    Alessandro Cimatti
    Springer, Springer Spektrum
    22.06.2012

    This book constitutes the refereed proceedings of the 15th International Conference on Theory and...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Software Engineering and Formal Methods Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Alessandro Cimatti
    Springer, Palgrave Macmillan
    15.08.2017

    This book constitutes the refereed proceedings of the 15th International Conference on Software E...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Alessandro Cimatti
    Springer, Springer
    17.09.2023

    This book constitutes the proceedings of the 28th International Conference on Formal Methods for ...

    Taschenbuch
    69,54 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Elisa di Rivombrosa Elisa di Rivombrosa

    Elisa di Rivombrosa

    Vittoria Puccini
    Fernsehjuwelen
    06.03.2025

    Elisa von Rivombrosa spielt in der zweiten Hälfte des 18. Jahrhunderts in der Gegend um Turin (Pi...

    DVD Video

    Unser bisheriger Preis:ORGPRICE: 82,99 €

    Jetzt 76,69 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Methods for Hardware Verification Formal Methods for Hardware Verification

    Formal Methods for Hardware Verification

    Marco Bernardo
    Springer, Berlin, Springer

    This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edi...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 74,89 €

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