An introduction to programming with specifications : (Record no. 1226)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01230nam a22002177a 4500 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OSt |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20190924173407.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 130823b1991 -us||||g |||| 001 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0124276202 (hbk) |
040 ## - CATALOGING SOURCE | |
Transcribing agency | NCL |
Modifying agency | NLN2019 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.12 |
Item number | KUB-A 1991 1692 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Kubiak, Rlyszard |
245 1# - TITLE STATEMENT | |
Title | An introduction to programming with specifications : |
Remainder of title | a mathematical approach / |
Statement of responsibility, etc. | by Ryszard Kubiak |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | London : |
Name of publisher, distributor, etc. | Academic Press, |
Date of publication, distribution, etc. | 1991c. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | ix, 267 p. : |
Other physical details | ill. ; |
Dimensions | 24 cm. |
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
Title | A.P.I.C. studies in data processing, no. 35. |
500 ## - GENERAL NOTE | |
General note | Index included |
505 ## - FORMATTED CONTENTS NOTE | |
Formatted contents note | 0- Introduction<br/>1- Basic Mathematical Vocabulary<br/>2- On Definitions & Specifications<br/>3- Conditional Expressions<br/>4- Logical Expressions<br/>5- Recursive Function Definitions<br/>6- Designing Recursive Definitions<br/>7- More Complex Recursion<br/>8- High-Order Data : Sequences<br/>9- Our Main Tool : Induction<br/>10- Proving Facts About Recursively Defined Functions<br/>11- Tail Recursion<br/>12- Iterative Algorithms<br/>13- From Recursion to Iteration & Back<br/>14- Partial & Total Correctness<br/>15- How to Design Iterative Algorithms<br/>16- Computer Programming<br/>Solution of Exercises |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer programming. |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | |
Koha item type | Books |
Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Namal Library | Namal Library | Computer Science | 08/23/2013 | 005.12 KUB-A 1991 1692 | 1692 | 08/23/2013 | 08/23/2013 | Books |