diplomsko delo visokošolskega študija
Mirjam Sepesy Maučec (Avtor), Tatjana Kapus (Mentor)

Povzetek

Verifikacija porazdeljenih sistemov z uporabo binarnih odločitvenih grafov : diplomsko delo visokošolskega študija

Ključne besede

porazdeljeni sistemi;verifikacija;procesna algebra;binarni odločitveni grafi;

Podatki

Jezik: Slovenski jezik
Leto izida:
Tipologija: 2.11 - Diplomsko delo
Organizacija: UM FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
Založnik: [M. Sepešy]
UDK: 681.3:512:519.68
COBISS: 1950486 Povezava se bo odprla v novem oknu
Št. ogledov: 2587
Št. prenosov: 0
Ocena: 0 (0 glasov)
Metapodatki: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

Ostali podatki

Sekundarni jezik: Angleški jezik
URN: URN:SI:UM:
Vrsta dela (COBISS): Diplomsko delo
Strani: XVI, 120 f.
ID: 8714395