Erweiterte Suche

Grid  List

  1. Dynamic Logic. New Trends and Applications Dynamic Logic. New Trends and Applications

    Dynamic Logic. New Trends and Applications

    Alexandre Madeira
    Springer, Springer
    10.01.2018

    This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques

    Recent Trends in Algebraic Development Techniques

    Alexandre Madeira
    Springer, Springer
    22.10.2023

    This book constitutes the thoroughly refereed post-conference proceedings of the 26th Internation...

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Software Engineering and Formal Methods Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Alexandre Madeira
    Springer, Springer
    26.11.2024

    This book constitutes the refereed proceedings of the 22nd International Conference on Software E...

    Taschenbuch
    74,89 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1