Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner

Von:

Taubner, Dirk [aut]

Mitwirkende(r):

Taubner, Dirk [aut]

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Lecture notes in computer science ; 369Verlag: Berlin ; Heidelberg [u.a.] : Springer, 1989Beschreibung: X, 168 S. : graph. DarstISBN:

3540515259
0387515259

Weitere Titel:

The finite representations of abstract programs by automata and Petri nets

Schlagwörter:

Genre/Form:

Hochschulschrift

Andere physische Formen: Online-Ausg.: Finite representations of CCS and TCSP programs by automata and Petri nets. Berlin [u.a.] : Springer, 1989. Online-Ressource (X, 168 S.) | Erscheint auch als: Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1989. Online-RessourceDDC-Klassifikation:

004/.36 20

MSC: MSC: *68-02 | 68Q85 | 68N25RVK: RVK: SS 4800LOC-Klassifikation:

QA76.9.D5

Hochschulschriftenvermerk: Teilw. zugl.: München, Techn. Univ., Diss., 1988 u.d.T.: Taubner, Dirk A.: The finite representation of abstract programs by automata and Petri nets PPN: PPN: 025331108

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Status	Fälligkeitsdatum	Barcode
Handbibliothek	Fakultät für Informatik	F.Tau	Handbibliothek (Ausleihe und Einsicht nicht möglich)	F.Tau(09744)	Ausgeliehen Ausleihe und Einsicht nicht möglich	15.01.2034	000123051090

Anzahl Vormerkungen: 0