Detailsuche

Grid  List

  1. Integrated Formal Methods
    0 %
    Integrated Formal Methods
    Dominique Mery
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 57,65 €

    Jetzt 57,64 €Ebook
    Alle Preise inkl. MwSt
  2. FM 2012: Formal Methods
    0 %
    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 Meth...

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  3. New Trends in Model and Data Engineering
    0 %
    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 Internation...

    Unser bisheriger Preis:ORGPRICE: 57,90 €

    Jetzt 57,89 €Ebook
    Alle Preise inkl. MwSt
  4. Model and Data Engineering
    0 %
    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 Da...

    Unser bisheriger Preis:ORGPRICE: 57,89 €

    Jetzt 57,88 €Ebook
    Alle Preise inkl. MwSt
  5. 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 St...

    78,10 €Ebook
    Alle Preise inkl. MwSt
  6. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
    0 %
    Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
    Yamine Ait-Ameur
    Springer Singapore
    Ebook
    Sofort lieferbar

    This book addresses mechanisms for reducing model heterogeneity induced by the absence of explici...

    Unser bisheriger Preis:ORGPRICE: 109,54 €

    Jetzt 96,29 €Ebook
    Alle Preise inkl. MwSt
  7. Rigorous State-Based Methods
    0 %
    Rigorous State-Based Methods
    Dominique Mery
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 8th International Conference on Rigorous State-...

    Unser bisheriger Preis:ORGPRICE: 70,38 €

    Jetzt 70,37 €Ebook
    Alle Preise inkl. MwSt
  8. Rigorous State-Based Methods
    0 %
    Rigorous State-Based Methods
    Jose Creissac Campos
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 9th International Conference on Rigoro...

    Unser bisheriger Preis:ORGPRICE: 83,40 €

    Jetzt 83,39 €Ebook
    Alle Preise inkl. MwSt
  9. Integrated Formal Methods
    Integrated Formal Methods
    Stephan Merz
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 8th International Conference on Integrated ...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. FM 2012: Formal Methods
    0 %
    FM 2012: Formal Methods
    Dominique Mery
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 18th International Symposium on Formal Meth...

    Unser bisheriger Preis:ORGPRICE: 74,90 €

    Jetzt 53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Theoretical Aspects of Computing ¿ ICTAC 2014
    0 %
    Theoretical Aspects of Computing ¿ ICTAC 2014
    Dominique Méry
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretica...

    Unser bisheriger Preis:ORGPRICE: 68,48 €

    Jetzt 53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Model and Data Engineering
    Model and Data Engineering
    El Hassan Abdelwahed
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 8h International Conference on Model and Da...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2