mehr als bücher

Grid  List

  1. Advances in Temporal Logic
    Advances in Temporal Logic
    Howard Barringer
    Springer Verlag GmbH
    Buch
    Besorgungstitel - wird vorgemerkt

    Time is a fascinating subject and has long since captured mankind's imagination, from the ancient...

    160,49 €*
  2. Temporal Logic in Specification
    Temporal Logic in Specification
    Behnam Banieqbal
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeComparing linear and branching time temporal logics.- Interleaving set temporal logi...

    53,49 €*
  3. Runtime Verification
    Runtime Verification
    Howard Barringer
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which ...

    53,49 €*
  4. Advances in Temporal Logic
    Advances in Temporal Logic
    Howard Barringer
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Time is a fascinating subject and has long since captured mankind's imagination, from the ancient...

    160,49 €*
  1. 1