Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

B 2001

Grafická specifikace souběžných systémů

ŠAFRÁNEK, David

Základní údaje

Originální název

Grafická specifikace souběžných systémů

Autoři

ŠAFRÁNEK, David

Vydání

Brno, 68 s. Diplomová práce, 2001

Nakladatel

Masarykova universita, Fakulta informatiky

Další údaje

Typ výsledku

Odborná kniha

Utajení

není předmětem státního či obchodního tajemství

Označené pro přenos do RIV

Ne

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

concurrent systems; CCS; GCCS

Štítky

CCS, concurrent systems, GCCS

Změněno: 7. 1. 2004 11:48, doc. RNDr. David Šafránek, Ph.D.

Citovat

ČSN ISO 690
BibTeX
LaTeX
RIS

ŠAFRÁNEK, David. Grafická specifikace souběžných systémů. Brno: Masarykova universita, Fakulta informatiky, 2001, 68 s. Diplomová práce.

@book{491770,
   author = {Šafránek, David},
   address = {Brno},
   keywords = {concurrent systems; CCS; GCCS},
   location = {Brno},
   publisher = {Masarykova universita, Fakulta informatiky},
   title = {Grafická specifikace souběžných systémů},
   year = {2001}
}

TY  - BOOK
ID  - 491770
AU  - Šafránek, David
PY  - 2001
TI  - Grafická specifikace souběžných systémů
VL  - Diplomová práce
PB  - Masarykova universita, Fakulta informatiky
CY  - Brno
KW  - concurrent systems
KW  - CCS
KW  - GCCS
ER  -

ŠAFRÁNEK, David. \textit{Grafická specifikace souběžných systémů}. Brno: Masarykova universita, Fakulta informatiky, 2001, 68 s. Diplomová práce.