Process algebra and probabilistic methods; performance modelling and verification; proceedings of the 1st joint international workshop. (Record no. 21189)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00909nam a2200229Ia 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 354042556X |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 518.1 |
| Item number | W926.PA |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Workshop on "Process algebra and performance modeling and probabilistic methods in verification (PAPM-PROBMIV)", Aachen, Germany, Sept. 12-14, 2001 |
| 245 ## - TITLE STATEMENT | |
| Title | Process algebra and probabilistic methods; performance modelling and verification; proceedings of the 1st joint international workshop. |
| Remainder of title | |
| Statement of responsibility, etc. | Ed. by Luca de Alfaro and Stephen Gilmore |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | New York |
| Name of publisher, distributor, etc. | Springer-Verlag |
| Date of publication, distribution, etc. | 2001 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xii, 215p. Bibl. Index. |
| 440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Lecture notes in Computer Science |
| Volume/sequential designation | 2165 |
| 500 ## - GENERAL NOTE | |
| General note | "Purchased under NBHM grant for the year 2001-2002" |
| 500 ## - GENERAL NOTE | |
| General note | |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Alfaro, Luca de ; ed. |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Gilmore, Stephen ; jt. ed. |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) | |
| i | Germany |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) | |
| h | Sept.12-14,2001 |
| 964 ## - | |
| -- | |
| -- | |
| -- | |
| -- | |
| -- | |
| -- | |
| -- | |
| 921 ## - | |
| -- | 21189 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Date acquired | Source of acquisition | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ISID | ISID | 02/11/2001 | RABA | 144540.00 | 518.1 W926.PA | DP25002 | 14/02/2019 | 14/02/2019 | Book | Ord num:6146; Ord dt:2001-10-19 |