*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Temporal Logic in Specification
    Temporal Logic in Specification
    Behnam Banieqbal
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Advances in Temporal Logic
    Advances in Temporal Logic
    Howard Barringer
    Springer Netherlands, Springer Netherlands
    Taschenbuch
    BOD - 2 Tage

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

    162,60 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. A Survey of Verification Techniques for Parallel Programs
    A Survey of Verification Techniques for Parallel Programs
    Howard Barringer
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    24,60 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Advances in Temporal Logic
    Advances in Temporal Logic
    Howard Barringer
    Springer Netherlands, Springer
    Buch
    BOD - 7 Tage

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

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