An introduction to programming with specifications : (Record no. 1226)

MARC details
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
Holdings
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