The Symbolic Execution of Software / The Sym-Bol System (Record no. 3534)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00870cam a22002054a 4500 |
| 005 - ΗΜΕΡΟΜΗΝΙΑ ΚΑΙ ΩΡΑ ΤΕΛΕΥΤΑΙΑΣ ΕΝΗΜΕΡΩΣΗΣ | |
| Πεδίο ελέγχου | 20250605164118.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| Πεδίο ελέγχου σταθερού μήκους | 250528s ||||||||||||||||||||||||d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | 18153 |
| 020 ## - ISBN | |
| ISBN | 412583402 |
| 040 ## - ΠΗΓΗ ΚΑΤΑΛΟΓΟΓΡΑΦΗΣΗΣ | |
| Φορέας πρωτότυπης καταλογογράφησης | MC Athens Campus Library |
| Γλώσσα καταλογογράφησης | Ελληνικά, Μοντέρνα (1453-) |
| Modifying agency | MC Athens Campus Library |
| Κανόνες περιγραφικής καταλογογράφησης | AACR2 |
| 245 1# - ΤΙΤΛΟΣ ΚΑΙ ΔΗΛΩΣΗ ΥΠΕΥΘΥΝΟΤΗΤΑΣ | |
| Τίτλος | The Symbolic Execution of Software / The Sym-Bol System |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Chapman & Hall, |
| Date of publication, distribution, etc. | 1995 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 168 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This book is concerned with program testing and in particular with symbolic execution as a technique for aiding program testing. Testing, Tools and Techniques for Testing, The Principles of Symbolic Execution, Existing Symbolic Execution Systems, SYM-BOL - A Symbolic Execution System for COBOL, The Main Features of SYM-BOL, Conclusions, References, Index. |
| 700 1# - ΠΡΟΣΘΕΤΗ ΑΝΑΓΡΑΦΗ--ΦΥΣΙΚΟ ΠΡΟΣΩΠΟ | |
| Personal name | Coward David |
| 9 (RLIN) | 4444 |
| 700 1# - ΠΡΟΣΘΕΤΗ ΑΝΑΓΡΑΦΗ--ΦΥΣΙΚΟ ΠΡΟΣΩΠΟ | |
| Personal name | Darrel Ince |
| 9 (RLIN) | 1514 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Τύπος τεκμηρίου | Βιβλιοθήκη | Τρέχουσα τοποθεσία | Barcode | Αριθμός εισαγωγής | Ημερομηνία απόκτησης | Ταξιθετικό σύμβολο | Αριθμός αντιτύπου | Κατάσταση απόσυρσης | Κατάσταση χαμένου | Κατάσταση κατεστραμμένου | Μη δανεισμός | Σύνολο δανεισμών | Ημερομηνία τελευταίας εμφάνισης | Η τιμή ισχύει από |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | MC Athens Campus Library | MC Athens Campus Library | 9780000035332 | 2347 | 05/06/2025 | 005.14 COW | 1 | 05/06/2025 | 05/06/2025 |