*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Temporal Logic in Specification
    Temporal Logic in Specification
    Behnam Banieqbal
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Comparing linear and branching time temporal logics.- Interleaving set temporal logic.- An expres...

    96,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Advances in Temporal Logic
    Advances in Temporal Logic
    Howard Barringer
    Springer Netherlands
    Taschenbuch
    Print on Demand

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

    248,30 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Advances in Temporal Logic
    Advances in Temporal Logic
    Howard Barringer
    Springer Netherlands, Springer Netherlands
    Buch
    Print on Demand

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

    248,30 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. A Survey of Verification Techniques for Parallel Programs
    A Survey of Verification Techniques for Parallel Programs
    Howard Barringer
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs...

    24,60 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1