alessandro cimatti

Grid   List

  1. Elisa di Rivombrosa
    Elisa di Rivombrosa
    Vittoria Puccini
    Fernsehjuwelen
    DVD
    Sofort lieferbar
    Elisa von Rivombrosa spielt in der zweiten Hälfte des 18. Jahrhunderts in der Gegend um Turin (Piemont)während der Zeit der Aufklärung. Im Mittelpunkt des Geschehens steht das Gut von Rivombrosa ...
    81,06 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  2. Formal Methods for Hardware Verification
    Formal Methods for Hardware Verification
    Marco Bernardo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Sof...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Software Engineering and Formal Methods
    Software Engineering and Formal Methods
    Alessandro Cimatti
    Springer International Publishing
    Ebook
    Sofort lieferbar
    ¿This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Theory and Applications of Satisfiability Testing -- SAT 2012
    Theory and Applications of Satisfiability Testing -- SAT 2012
    Alessandro Cimatti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revis...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Alessandro Cimatti
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20-22, 2023.
    69,54 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Theory and Applications of Satisfiability Testing -- SAT 2012
    Theory and Applications of Satisfiability Testing -- SAT 2012
    Roberto Sebastiani
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revis...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Software Engineering and Formal Methods
    Software Engineering and Formal Methods
    Marjan Sirjani
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full p...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Laura Titolo
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20-22, 2023. ...
    69,54 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>