Semantics of systems of concurrent processes; LITP spring school on ... /ed. (by) I. Guessarin (Record no. 13952)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00604nam a2200193Ia 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 3540534792 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.35015113 |
| Item number | N90 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Guessarin, I. |
| 245 ## - TITLE STATEMENT | |
| Title | Semantics of systems of concurrent processes; LITP spring school on ... /ed. (by) I. Guessarin |
| Remainder of title | |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Berlin |
| Name of publisher, distributor, etc. | S-V |
| Date of publication, distribution, etc. | 1990 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | iv, 456p |
| 440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Lecture Notes in Computer Science |
| Volume/sequential designation | 469 |
| 500 ## - GENERAL NOTE | |
| General note | Trans. from CSA to ML |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Concurrency Parallel processing |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | LITP Spring School on Theoretical Computer Science |
| 919 ## - | |
| -- | 014204 |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) | |
| h | 1990 |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) | |
| g | La Roche Posay |
No items available.
