Concepts, techniques, and models of computer programming / (Record no. 129)

MARC details
000 -LEADER
fixed length control field 03085cam a22002654a 4500
001 - CONTROL NUMBER
control field 13337337
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230730081812.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 030909s2004 maua b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2003065140
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780262220699
040 ## - CATALOGING SOURCE
Original cataloging agency BUL
Transcribing agency BUL
Modifying agency BUL
Language of cataloging eng
Description conventions rda
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Item number .
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
Edition number 22
Item number ROY
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Van-Roy, Peter.
245 10 - TITLE STATEMENT
Title Concepts, techniques, and models of computer programming /
Statement of responsibility, etc. Peter Van Roy, Seif Haridi.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge, Mass. :
Name of publisher, distributor, etc. MIT Press,
Date of publication, distribution, etc. 2004.
300 ## - PHYSICAL DESCRIPTION
Extent xxvii, 900 p. :
Other physical details ill. ;
Dimensions 26 cm.
500 ## - GENERAL NOTE
General note Contents<br/>1 Introduction to Programming Concepts<br/>1.1 A calculator<br/>1.2 Variables<br/>1.3 Functions<br/>1.4 Lists, etc<br/><br/>1 General Computation Models<br/>2 Declarative Computation Model<br/>2.1 Defining Practical Programming Languages<br/>2.2 The single- assignment store<br/>2.3 Kernel Language<br/>2.4 Kernel Language semantics, etc<br/><br/>3 Declarative Programming Techniques<br/>3.1 What is declarativeness?<br/>3.2 Iterative computation <br/>3.3 Recursive computation<br/>3.4 Programming with recursion, etc<br/><br/>4 Declarative Concurrency<br/>4.1 The data- driven concurrent model<br/>4.2 Basic thread programming techniques<br/>4.3 Streams<br/>4.4 Using the declarative concurrent model directly, etc<br/><br/>5 Message- Passing Concurrency<br/>5.1 The message- passing concurrent model<br/>5.2 Port objects<br/>5.3 Simple message protocls<br/>5.4 Program design for concurrency, etc<br/><br/>6 Explicit State<br/>6.1 What is state?<br/>6.2 State and system building<br/>6.3 The declarative model with explicit state<br/>6.4 Date abstraction, etc<br/><br/>7 Object-Oriented Programming<br/>7.1 Inheritance<br/>7.2 Classes as Incremental date abstractions<br/>7.3 Classes as complete date abstraction, etc<br/><br/>8 Shared-State Concurrency<br/>8.1 The shared state concurrent model<br/>8.2 Programming with concurrency<br/>8.3 Locks<br/>8.4 Monitors, etc<br/><br/>9 Relational Programming<br/>9.1 The relational computation model<br/>9.2 Further examples<br/>9.3 Relation to logic programming, etc<br/><br/>11 SPECIALIZED COMPUTATION MODELS<br/>10 Graphical User Interface Programming<br/>10.1 The declarative/procedural approach<br/>10.2 Using the declarative/ procedural approach<br/>10.3 The prototyper interactive learning tool, etc<br/><br/>11 Distributed Programming<br/>11.1 Taxonomy of distributed system<br/>11.2 The distribution model<br/>11.3 Distribution of declarative data<br/>11.4 Distribution of state<br/>11.5 Network awareness, etc<br/><br/>12 Constraint Programming<br/>12.1 Propagate-and-search<br/>12.2 Programming techniques<br/>12.3 The constraint-based computation model,etc<br/><br/>111 SEMANTICS<br/>13 Language semantics<br/>13.1 The general computation model<br/>13.2 Declarative concurrency<br/>13.3 Eight computation models<br/>13.4 Semantics of common abstraction<br/>13.5 Historical, etc.<br/>
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Bibliographical references : p. 853 - 862 . _ Index : p. 863 - 900
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer programming.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Haridi, Seif.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Book Closed Access
Classification part 005.1
Item part 1
Call number prefix ROY
Call number suffix 005.1 ROY
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Source of acquisition Inventory number Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
    Dewey Decimal Classification     Engineering Library Engineering Library 01/22/2021 Purchased 0008932   005.1 ROY. 1 BUML23070627 01/22/2021 1 01/22/2021 Book Open Access
    Dewey Decimal Classification     Engineering Library Engineering Library 01/22/2021 Purchased 0010999   005.1 ROY. 2 BUML23070628 01/22/2021 2 01/22/2021 Book Open Access