| Naslov: | Simbolično preiskovanje diagramov prehajanja stanj končnih avtomatov : diplomsko delo |
|---|
| Avtorji: | ID Časar, Aleš (Avtor)
ID Brezočnik, Zmago (Mentor) Več o mentorju...  |
|---|
| Datoteke: |
Gradivo nima datotek. Gradivo je morda fizično dosegljivo v knjižnici fakultete, zalogo lahko preverite v COBISS-u. |
|---|
| Jezik: | Slovenski jezik |
|---|
| Vrsta gradiva: | Diplomsko delo |
|---|
| Organizacija: | FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
|
|---|
| Ključne besede: | logična funkcija, končni avtomati, prehajalna funkcija, prehajalna relacija, karakteristična funkcija, CTL formule, binarni odločitveni grafi |
|---|
| Kraj izida: | Maribor |
|---|
| Založnik: | [A. Časar] |
|---|
| Leto izida: | 1995 |
|---|
| PID: | 20.500.12556/DKUM-5001 |
|---|
| UDK: | 681.32:519.714:519.17 |
|---|
| COBISS.SI-ID: | 1821718 |
|---|
| NUK URN: | URN:SI:UM:DK:1BGXOI9H |
|---|
| Datum objave v DKUM: | 26.07.2007 |
|---|
| Število ogledov: | 3166 |
|---|
| Število prenosov: | 0 |
|---|
| Metapodatki: |    |
|---|
| Področja: | KTFMB - FERI
|
|---|
|
:
|
Kopiraj citat |
|---|
| | | | Skupna ocena: | (0 glasov) |
|---|
| Vaša ocena: | Ocenjevanje je dovoljeno samo prijavljenim uporabnikom. |
|---|
| Objavi na: |  |
|---|
Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše
podrobnosti ali sproži prenos. |
