Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. FM 2009: Formal Methods FM 2009: Formal Methods

    FM 2009: Formal Methods

    Ana Cavalcanti
    Springer, Berlin

    This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Forma...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 149,79 €

    Jetzt 106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Theoretical and Practical Aspects of SPIN Model Checking Theoretical and Practical Aspects of SPIN Model Checking

    Theoretical and Practical Aspects of SPIN Model Checking

    Dennis Dams
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    08.09.1999

    Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its spe...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Concurrency, Compositionality, and Correctness Concurrency, Compositionality, and Correctness

    Concurrency, Compositionality, and Correctness

    Dennis Dams
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    Why would you read this preface? As we start thinking what to write here, we wonder who is going ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 119,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1