Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Formal Methods for Software Engineering Formal Methods for Software Engineering

    Formal Methods for Software Engineering

    Markus Roggenbach
    Springer International Publishing, Springer International Publishing
    23.06.2022

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

    Gebunden
    80,24 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Software Engineering and Formal Methods Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Ming Chai
    Springer International Publishing, Springer Nature Switzerland
    21.09.2022

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

    Taschenbuch
    69,54 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Concurrency, Specification and Programming Concurrency, Specification and Programming

    Concurrency, Specification and Programming

    Bernd-Holger Schlingloff
    Springer International Publishing, Springer International Publishing
    05.05.2023

    This book presents novel approaches to the formal specification of concurrent and parallel system...

    Gebunden
    171,19 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods for Software Engineering Formal Methods for Software Engineering

    Formal Methods for Software Engineering

    Markus Roggenbach
    Springer International Publishing, Springer International Publishing
    24.06.2023

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

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Concurrency, Specification and Programming Concurrency, Specification and Programming

    Concurrency, Specification and Programming

    Bernd-Holger Schlingloff
    Springer Nature Switzerland
    06.05.2024

    This book presents novel approaches to the formal specification of concurrent and parallel system...

    Taschenbuch
    171,19 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1