Communication and Concurrency (Record no. 3569)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01079cam a22002054a 4500 |
| 005 - ΗΜΕΡΟΜΗΝΙΑ ΚΑΙ ΩΡΑ ΤΕΛΕΥΤΑΙΑΣ ΕΝΗΜΕΡΩΣΗΣ | |
| Πεδίο ελέγχου | 20250605164119.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| Πεδίο ελέγχου σταθερού μήκους | 250528s ||||||||||||||||||||||||d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | 18191 |
| 020 ## - ISBN | |
| ISBN | 131150073 |
| 040 ## - ΠΗΓΗ ΚΑΤΑΛΟΓΟΓΡΑΦΗΣΗΣ | |
| Φορέας πρωτότυπης καταλογογράφησης | MC Athens Campus Library |
| Γλώσσα καταλογογράφησης | Ελληνικά, Μοντέρνα (1453-) |
| Modifying agency | MC Athens Campus Library |
| Κανόνες περιγραφικής καταλογογράφησης | AACR2 |
| 245 1# - ΤΙΤΛΟΣ ΚΑΙ ΔΗΛΩΣΗ ΥΠΕΥΘΥΝΟΤΗΤΑΣ | |
| Τίτλος | Communication and Concurrency |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Prentice Hall, |
| Date of publication, distribution, etc. | 1989 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 260 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | The book provides an understanding of concurrency through a very small number of primitive ideas and illustrates how these ideas apply to hardware and software, to specification and implementation. Foreword, Preface, Glossary, Modelling Communication, Basic Definitions, Equational Laws and Their Application, Strong Bisimulation and Strong Equivalence, Bisimulation and Observation Equivalence, Further Examples, The Theory of Observation Congruence, Defining a Programming Language, Operators and Calculi, Specifications and Logic, Determinacy and Confluence, Sources and Related Work, Bibliography, Index. |
| 700 1# - ΠΡΟΣΘΕΤΗ ΑΝΑΓΡΑΦΗ--ΦΥΣΙΚΟ ΠΡΟΣΩΠΟ | |
| Personal name | Miller Robin |
| 9 (RLIN) | 3541 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Τύπος τεκμηρίου | Βιβλιοθήκη | Τρέχουσα τοποθεσία | Barcode | Αριθμός εισαγωγής | Ημερομηνία απόκτησης | Ταξιθετικό σύμβολο | Αριθμός αντιτύπου | Κατάσταση απόσυρσης | Κατάσταση χαμένου | Κατάσταση κατεστραμμένου | Μη δανεισμός | Σύνολο δανεισμών | Ημερομηνία τελευταίας εμφάνισης | Η τιμή ισχύει από |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | MC Athens Campus Library | MC Athens Campus Library | 9780000035684 | 2384 | 05/06/2025 | 511.3 MIL | 1 | 05/06/2025 | 05/06/2025 |