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

By:

Taubner, Dirk [aut]

Contributor(s):

Taubner, Dirk [aut]

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in computer science ; 369Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1989Description: X, 168 S. : graph. DarstISBN:

3540515259
0387515259

Other title:

The finite representations of abstract programs by automata and Petri nets

Subject(s):

Genre/Form:

Hochschulschrift

Additional physical formats: 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 classification:

004/.36 20

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

QA76.9.D5

Dissertation note: 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

Holdings ( 1 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Handbibliothek	Fakultät für Informatik	F.Tau	Handbibliothek (Ausleihe und Einsicht nicht möglich)	F.Tau(09744)	Checked out Ausleihe und Einsicht nicht möglich	15.01.2034	000123051090

Total holds: 0