The Construction of Formal Specifications / An Introduction to the Model-Based and Algebraic Approaches (Record no. 1152)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01051cam a22002054a 4500 |
| 005 - ΗΜΕΡΟΜΗΝΙΑ ΚΑΙ ΩΡΑ ΤΕΛΕΥΤΑΙΑΣ ΕΝΗΜΕΡΩΣΗΣ | |
| Πεδίο ελέγχου | 20250605163959.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| Πεδίο ελέγχου σταθερού μήκους | 250528s ||||||||||||||||||||||||d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | 15582 |
| 020 ## - ISBN | |
| ISBN | 77077350 |
| 040 ## - ΠΗΓΗ ΚΑΤΑΛΟΓΟΓΡΑΦΗΣΗΣ | |
| Φορέας πρωτότυπης καταλογογράφησης | MC Athens Campus Library |
| Γλώσσα καταλογογράφησης | Ελληνικά, Μοντέρνα (1453-) |
| Modifying agency | MC Athens Campus Library |
| Κανόνες περιγραφικής καταλογογράφησης | AACR2 |
| 245 1# - ΤΙΤΛΟΣ ΚΑΙ ΔΗΛΩΣΗ ΥΠΕΥΘΥΝΟΤΗΤΑΣ | |
| Τίτλος | The Construction of Formal Specifications / An Introduction to the Model-Based and Algebraic Approaches |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Mcgraw Hill Book Company, |
| Date of publication, distribution, etc. | 1994 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 420 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | An accessible guide to the widely used VDM and algebraic approaches to the formal specification of software systems. Preface, Introduction to Formal Specification, Mathematical Structure for Formal Specification, The Sequence and Map Types, Building up VDM Specifications, Algebraic Specification of Abstract Data Types, Algebras and Abstract Data Types, Building Larger Specifications, Prototyping Algebraic Specifications, Background and Comparison and Summary, Glossary, Index. |
| 700 1# - ΠΡΟΣΘΕΤΗ ΑΝΑΓΡΑΦΗ--ΦΥΣΙΚΟ ΠΡΟΣΩΠΟ | |
| Personal name | Mccluskey T.L |
| 9 (RLIN) | 1539 |
| 700 1# - ΠΡΟΣΘΕΤΗ ΑΝΑΓΡΑΦΗ--ΦΥΣΙΚΟ ΠΡΟΣΩΠΟ | |
| Personal name | Turner J.G |
| 9 (RLIN) | 1540 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Τύπος τεκμηρίου | Βιβλιοθήκη | Τρέχουσα τοποθεσία | Barcode | Αριθμός εισαγωγής | Ημερομηνία απόκτησης | Ταξιθετικό σύμβολο | Αριθμός αντιτύπου | Κατάσταση απόσυρσης | Κατάσταση χαμένου | Κατάσταση κατεστραμμένου | Μη δανεισμός | Σύνολο δανεισμών | Ημερομηνία τελευταίας εμφάνισης | Η τιμή ισχύει από |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | MC Athens Campus Library | MC Athens Campus Library | 9780000011510 | 1929 | 05/06/2025 | 005.1/2 TUR | 1 | 05/06/2025 | 05/06/2025 |