High-Integrity Software (Record no. 3580)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01071cam a22001934a 4500 |
| 005 - ΗΜΕΡΟΜΗΝΙΑ ΚΑΙ ΩΡΑ ΤΕΛΕΥΤΑΙΑΣ ΕΝΗΜΕΡΩΣΗΣ | |
| Πεδίο ελέγχου | 20250605164119.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| Πεδίο ελέγχου σταθερού μήκους | 250528s ||||||||||||||||||||||||d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | 18203 |
| 020 ## - ISBN | |
| ISBN | 273030000 |
| 040 ## - ΠΗΓΗ ΚΑΤΑΛΟΓΟΓΡΑΦΗΣΗΣ | |
| Φορέας πρωτότυπης καταλογογράφησης | MC Athens Campus Library |
| Γλώσσα καταλογογράφησης | Ελληνικά, Μοντέρνα (1453-) |
| Modifying agency | MC Athens Campus Library |
| Κανόνες περιγραφικής καταλογογράφησης | AACR2 |
| 245 1# - ΤΙΤΛΟΣ ΚΑΙ ΔΗΛΩΣΗ ΥΠΕΥΘΥΝΟΤΗΤΑΣ | |
| Τίτλος | High-Integrity Software |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Pitman Publishing, |
| Date of publication, distribution, etc. | 1989 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 360 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | The twelve chapters come from both professional and academic authorities and constitute essential reading for professional software engineers and systems designers in civil and military establishments. Introduction, Formal Specification and Implementation, Practical Experience with a Formal Verification System, Reliable Programming in Standard Languages, New Speak: A Reliable Programming Language, Program Analysis and Systematic Testing, Program Analysis and Verification, Assurance in High-Integrity Software, Modelling Real-World Issues for Dependable Software, Contractual specification of Reliable Software, Index. |
| 700 1# - ΠΡΟΣΘΕΤΗ ΑΝΑΓΡΑΦΗ--ΦΥΣΙΚΟ ΠΡΟΣΩΠΟ | |
| Personal name | Sennett T. C |
| 9 (RLIN) | 4490 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Τύπος τεκμηρίου | Βιβλιοθήκη | Τρέχουσα τοποθεσία | Barcode | Αριθμός εισαγωγής | Ημερομηνία απόκτησης | Ταξιθετικό σύμβολο | Αριθμός αντιτύπου | Κατάσταση απόσυρσης | Κατάσταση χαμένου | Κατάσταση κατεστραμμένου | Μη δανεισμός | Σύνολο δανεισμών | Ημερομηνία τελευταίας εμφάνισης | Η τιμή ισχύει από |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | MC Athens Campus Library | MC Athens Campus Library | 9780000035790 | 2396 | 05/06/2025 | 005.3 HIG | 1 | 05/06/2025 | 05/06/2025 |