Grid   List

  1. Concurrency, Compositionality, and Correctness
    -0 %

    Concurrency, Compositionality, and Correctness

    Dennis Dams
    Springer Berlin
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 79,72 €

    Jetzt 79,71 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. FM 2009: Formal Methods
    -0 %

    FM 2009: Formal Methods

    Ana Cavalcanti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the ...

    Unser bisheriger Preis:ORGPRICE: 148,74 €

    Jetzt 111,47 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Theoretical and Practical Aspects of SPIN Model Checking
    -0 %

    Theoretical and Practical Aspects of SPIN Model Checking

    Dennis Dams
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 56,13 €

    Jetzt 56,12 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. FM 2009: Formal Methods

    FM 2009: Formal Methods

    Ana Cavalcanti
    Springer, Berlin
    Taschenbuch
    Print on Demand

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

    149,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Concurrency, Compositionality, and Correctness

    Concurrency, Compositionality, and Correctness

    Dennis Dams
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    119,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1