The analysis of concurrent systems : Cambridge, September 12 - 16, 1983 ; proceedings / ed. by B. T. Denvir ...

Contributor(s):

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in computer science ; 207Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1985Description: VII, 398 S. : graph. DarstISBN:

3540160477
0387160477

Subject(s):

Genre/Form:

Konferenzschrift -- 1983 -- Cambridge

Additional physical formats: Online-Ausg.: The analysis of concurrent systems. Berlin [u.a.] : Springer, 1985. Online-Ressource (VII, 398 S.) | Erscheint auch als: The Analysis of Concurrent Systems. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1985. Online-RessourceDDC classification:

004/.35 19

RVK: RVK: SS 4800 | ST 130LOC classification:

QA76.5

PPN: PPN: 025291661

Holdings ( 1 )
Title notes ( 1 )

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

Total holds: 0

Literaturangaben