Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops

    Formal Methods. FM 2019 International Workshops

    Emil Sekerinski
    Springer International Publishing, Springer Nature Switzerland
    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
  2. Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops

    Formal Methods. FM 2019 International Workshops

    Emil Sekerinski
    Springer International Publishing, Springer Nature Switzerland
    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
  3. Program Development by Refinement Program Development by Refinement

    Program Development by Refinement

    Kaisa Sere
    Springer London, Springer London
    23.10.1998

    The Idea of Program Refinement Programs are complex. They are typically so complex, that they go ...

    Taschenbuch
    213,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Integrated Formal Methods Integrated Formal Methods

    Integrated Formal Methods

    Emil Sekerinski
    Springer International Publishing, Springer International Publishing
    15.09.2014

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Methods Teaching Formal Methods Teaching

    Formal Methods Teaching

    Leila Ribeiro
    Springer Nature Switzerland, Springer Nature Switzerland
    05.09.2024

    This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teachin...

    Taschenbuch
    40,65 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. FM 2006: Formal Methods FM 2006: Formal Methods

    FM 2006: Formal Methods

    Jayadev Misra
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book presents the refereed proceedings of the 14th International Symposium on Formal Methods...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 112,34 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. From Action Systems to Distributed Systems From Action Systems to Distributed Systems

    From Action Systems to Distributed Systems

    Luigia Petre
    Taylor & Francis Ltd (Sales)
    30.06.2020

    A tribute to Professor Kaisa Sere's contributions to the field of computer science, From Action S...

    Taschenbuch
    57,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1