Finite transition systems : semantics of communicating systems / André Arnold. Transl. by John Plaice

By:

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Prentice Hall international series in computer sciencePublisher: Paris [u.a.] : Masson [u.a.], 1994Publisher: Hemel Hempstead : Prentice Hall, 1994Description: VII, 177 S : graph. DarstISBN:

Uniform titles:

Contained works:

Arnold, André. Systèmes de transitions finis et sémantique des processus communicants <engl.>

Subject(s):

MSC: MSC: *68Q55 | 68Q85 | 68-02 | 03B70RVK: RVK: ST 130LOC classification:

Contents:

PPN: PPN: 148011977

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Informatik	D.Arn	Bibliothek / frei aufgestellt	D.Arn(16959)	Available	000158330090

Total holds: 0