Výsledky vyhledávání

Nalezeno záznamů: 1  
Váš dotaz: Předmět (klíč.slova) = "kritická sekce"
  1. Automatické dokazování správnosti paralelních programů [rukopis] : Implementace systému zdrojů / Vojtěch Pikal.    2010 . 59 s.
    kniha

    kniha



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