dominique mery

Grid   List

  1. New Trends in Model and Data Engineering
    New Trends in Model and Data Engineering
    El Hassan Abdelwahed
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed papers of the workshops held at the 8th International Conference on New Trends in Model and Data Engineering, MEDI 2018, in Marrakesh, Morocco, in Octo...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Integrated Formal Methods
    Integrated Formal Methods
    Dominique Méry
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Integrated Formal Methods
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. FM 2012: Formal Methods
    FM 2012: Formal Methods
    Dimitra Giannakopoulou
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together w...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Model and Data Engineering
    Model and Data Engineering
    El Hassan Abdelwahed
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 shor...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Theoretical Aspects of Computing - ICTAC 2014
    Theoretical Aspects of Computing - ICTAC 2014
    Gabriel Ciobanu
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania, in September 2014. The 25 revised ful...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Rigorous State-Based Methods
    Rigorous State-Based Methods
    Alexander Raschke
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference w...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
    Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
    Yamine Ait-Ameur
    Springer Nature Singapore
    Ebook
    Sofort lieferbar
    This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it hi...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Rigorous State-Based Methods
    Rigorous State-Based Methods
    Alexander Raschke
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The con...
    64,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Rigorous State-Based Methods
    Rigorous State-Based Methods
    Uwe Glässer
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023.
    80,24 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    Kazuhiro Ogata
    Springer Nature Singapore
    Ebook
    Sofort lieferbar
    This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.
    69,54 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Theoretical Aspects of Computing - ICTAC 2014
    Theoretical Aspects of Computing - ICTAC 2014
    Dominique Méry
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania, in September 2014. The 25 revised ful...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Model and Data Engineering
    Model and Data Engineering
    El Hassan Abdelwahed
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>