<Books>
The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings / edited by B.T. Denvir ... [et al.]
(Lecture notes in computer science ; 207)
Publisher | Berlin ; New York ; Tokyo : Springer-Verlag |
---|---|
Year | c1985 |
Codes | ID=2000006402 NCID=BA00536831 |
Online Material | https://jg8gn6xr5x.search.serialssolutions.com/?isbn=3540160477 |
Show details.
Language | English |
---|---|
Size | vii, 398 p. ; 25 cm |
Notes | Includes bibliographical references |
Authors | Workshop on the Analysis of Concurrent Systems (1983 : Cambridge, Eng.) Denvir, B. T. |
Classification | NDC8:007.6 |
Vol | : gw ; ISBN:3540160477 : us ; ISBN:0387160477 |
Hide book details.
Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Reserve | Restriction | Copy | eDDS | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
Cent.Lib.,Closed Stacks ,Books(European Lang.) | : gw | 004/L497/207 | 8220011008 |
|
3540160477 | 1985 |
|