Výsledky vyhledávání

Nalezeno záznamů: 3  
Váš dotaz: Předmět (klíč.slova) = "verifikace programů"

  1. 1.Aplikace bez chyby

    Aplikace bez chyby [rukopis] / Ondřej Vaverka.    2012 . 57 s.
    kniha

    kniha

  2. 2.Verification of systems and circuits using LOTOS, Petri Nets, and CCS

      Půjčit
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol.    Hoboken, N.J. :  Wiley-Interscience,  c2008 . xv, 231 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    kniha

    kniha

      Půjčit

  3. 3.Verifikace programů

      Půjčit
    Verifikace programů / V. Mrkvička.    Olomouc :  Rektorát Univerzity Palackého,  1984 . 79 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    Z100000
    kniha

    kniha

      Půjčit


  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše