Erweiterte Suche

Grid  List

  1. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

    Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

    Antonio Cerone
    Springer, Palgrave Macmillan
    25.09.2022

    This volume constitutes revised selected papers from the four workshops collocated with the 19th ...

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

    Formal Methods for Software Engineering

    Markus Roggenbach
    Springer, Springer
    23.06.2022

    Software programs are formal entities with precise meanings independent of their programmers, so ...

    Gebunden
    85,59 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops

    Formal Methods. FM 2019 International Workshops

    Emil Sekerinski
    Springer, Springer
    13.08.2020

    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Sympo...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Information Technology and Open Source: Applications for Education, Innovation, and Sustainability Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

    Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

    Antonio Cerone
    Springer, Springer
    11.03.2014

    This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSu...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops

    Formal Methods. FM 2019 International Workshops

    Emil Sekerinski
    Springer, Springer
    11.08.2020

    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Sympo...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Theoretical Aspects of Computing - ICTAC 2006 Theoretical Aspects of Computing - ICTAC 2006

    Theoretical Aspects of Computing - ICTAC 2006

    Kamel Barkaoui
    Springer, Springer
    30.10.2006

    The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, T...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Formal Methods for an Informal World Formal Methods for an Informal World

    Formal Methods for an Informal World

    Antonio Cerone
    Springer, Springer
    05.11.2023

    This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Asp...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. From Data to Models and Back From Data to Models and Back

    From Data to Models and Back

    Giovanna Broccia
    Springer, Springer
    15.04.2025

    This book constitutes the refereed proceedings of the 11th International Symposium on From Data t...

    Taschenbuch
    128,39 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Formal Methods for Software Engineering Formal Methods for Software Engineering

    Formal Methods for Software Engineering

    Markus Roggenbach
    Springer, Springer
    24.06.2023

    Software programs are formal entities with precise meanings independent of their programmers, so ...

    Taschenbuch
    64,19 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Formal Methods - Fun for Everybody Formal Methods - Fun for Everybody

    Formal Methods - Fun for Everybody

    Antonio Cerone
    Springer, Palgrave Macmillan
    11.03.2021

    This volume constitutes the post-workshop proceedings of the First International Workshop on Form...

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

    Software Engineering and Formal Methods

    Frank de Boer
    Springer, Palgrave Macmillan
    12.09.2020

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

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Theoretical Aspects of Computing - ICTAC 2021 Theoretical Aspects of Computing - ICTAC 2021

    Theoretical Aspects of Computing - ICTAC 2021

    Antonio Cerone
    Springer, Springer
    20.08.2021

    This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects...

    Taschenbuch
    80,24 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2