mehr als bücher

Grid  List

  1. Theoretical and Practical Aspects of SPIN Model Checking
    Theoretical and Practical Aspects of SPIN Model Checking
    Dennis Dams
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  2. FM 2009: Formal Methods
    FM 2009: Formal Methods
    Ana Cavalcanti
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    106,99 €*
  3. Concurrency, Compositionality and Correctness
    Concurrency, Compositionality and Correctness
    Dennis Dams
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  1. 1