Výsledky vyhledávání - "Concurrent processing"

  • Zobrazuji výsledky 1 - 1 z 1
Upřesnit hledání
  1. 1
    Obálka

    Verifying concurrent processes using temporal logic / Autor Hailpern, Brent T.

    Vydáno: Berlin : Springer, 1982

    Získat plný text
    Kniha
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: