Formale Beschreibungsverfahren der Informatik : Ein Arbeitsbuch für die Praxis
Editionsangabe:1. Aufl. Erschienen bei: Teubner (Stuttgart; Leipzig; Wiesbaden) Physische Details: 124 S. ISBN:3519026430.
Schlagwort(e):
Formale Sprachen
|
Logik
|
Aussagenlogik
|
Prädikatenlogik
|
Automaten
|
Petri-Netze
|
Netzplantechnik
|
Reguläre Sprachen
|
Zustands-Automaten
|
Algorithmen
|
Aussagenlogik
|
Turing-Maschinen
|
Grammatik
|
Kellerautomaten
Jahr: 2000
| Medientyp | Aktuelle Bibliothek | Signatur | Exemplarnr. | Status | Fälligkeitsdatum | Barcode |
|---|---|---|---|---|---|---|
Bücher
|
Bibliothek der NORDAKADEMIE | EDV 0 (Regal durchstöbern (Öffnet sich unterhalb)) | 1 | Verfügbar | 011083 | |
|
Bücher
|
Bibliothek der NORDAKADEMIE | EDV 0 (Regal durchstöbern (Öffnet sich unterhalb)) | 2 | Verfügbar | 017894 |
Es gibt keine Kommentare für diesen Titel.