The Programming Process / An Introduction Using Vdm and Pascal (Record no. 3490)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01149cam a22002174a 4500 |
| 005 - ΗΜΕΡΟΜΗΝΙΑ ΚΑΙ ΩΡΑ ΤΕΛΕΥΤΑΙΑΣ ΕΝΗΜΕΡΩΣΗΣ | |
| Πεδίο ελέγχου | 20250605164116.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| Πεδίο ελέγχου σταθερού μήκους | 250528s ||||||||||||||||||||||||d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | 18106 |
| 020 ## - ISBN | |
| ISBN | 201416611 |
| 040 ## - ΠΗΓΗ ΚΑΤΑΛΟΓΟΓΡΑΦΗΣΗΣ | |
| Φορέας πρωτότυπης καταλογογράφησης | MC Athens Campus Library |
| Γλώσσα καταλογογράφησης | Ελληνικά, Μοντέρνα (1453-) |
| Modifying agency | MC Athens Campus Library |
| Κανόνες περιγραφικής καταλογογράφησης | AACR2 |
| 245 1# - ΤΙΤΛΟΣ ΚΑΙ ΔΗΛΩΣΗ ΥΠΕΥΘΥΝΟΤΗΤΑΣ | |
| Τίτλος | The Programming Process / An Introduction Using Vdm and Pascal |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Addison-Wesley Publishing Company, |
| Date of publication, distribution, etc. | 1990 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 542 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This book explains the process of software development, featuring formal specifications, at the introductory level. Preface, Introduction, Find the Average of Some Numbers, What is the Maximum Salary, Match - Snatch - A Variation on Nim, Telegraph Analysis, Time-Date Display Program, Interchangeable Parts System, Key Word in Context, Dynamic Data Types of KWIC, String Search - A Simple Software Tool, Specification of the String Package, Birds and Bees, Implementation of the Strings Package, Birds and Bees, Implementation of the Strings Package, Bibliography, Index. |
| 700 1# - ΠΡΟΣΘΕΤΗ ΑΝΑΓΡΑΦΗ--ΦΥΣΙΚΟ ΠΡΟΣΩΠΟ | |
| Personal name | Bush J. Vicky |
| 9 (RLIN) | 4396 |
| 700 1# - ΠΡΟΣΘΕΤΗ ΑΝΑΓΡΑΦΗ--ΦΥΣΙΚΟ ΠΡΟΣΩΠΟ | |
| Personal name | Cottam D. Ian |
| 9 (RLIN) | 4397 |
| 700 1# - ΠΡΟΣΘΕΤΗ ΑΝΑΓΡΑΦΗ--ΦΥΣΙΚΟ ΠΡΟΣΩΠΟ | |
| Personal name | Latham T. John |
| 9 (RLIN) | 4398 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Τύπος τεκμηρίου | Βιβλιοθήκη | Τρέχουσα τοποθεσία | Barcode | Αριθμός εισαγωγής | Ημερομηνία απόκτησης | Ταξιθετικό σύμβολο | Αριθμός αντιτύπου | Κατάσταση απόσυρσης | Κατάσταση χαμένου | Κατάσταση κατεστραμμένου | Μη δανεισμός | Σύνολο δανεισμών | Ημερομηνία τελευταίας εμφάνισης | Η τιμή ισχύει από |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | MC Athens Campus Library | MC Athens Campus Library | 9780000034892 | 2300 | 05/06/2025 | 005.1 LAT | 1 | 05/06/2025 | 05/06/2025 |