//]]>

Mathematics of program construction : (Record no. 4955)

000 -LEADER
fixed length control field 00942nam#a2200229#a#4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20190724102931.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130130 2010 gw eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540705932
041 ## - Language
Language code of text/sound track or separate title eng
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
Item number M426
111 2# - MAIN ENTRY--MEETING NAME
9 (RLIN) 20526
Meeting name or jurisdiction name as entry element MPC 2008
Number of part/section/meeting (9th :
Date of meeting 2008)
Location of meeting Marseille, France)
245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE
Title Mathematics of program construction :
Remainder of title 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008, proceedings /
Statement of responsibility, etc edited by Philippe Audebaud, Christine Paulin-Mohring.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc 2010.
300 ## - PHYSICAL DESCRIPTION
Extent x, 421 p. :
Other physical details ill
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
9 (RLIN) 5927
Title Lecture notes in computer science ;
Volume number/sequential designation 5133
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming
9 (RLIN) 44003
Form subdivision Congresses.
Topical term or geographic name as entry element Computer science
Form subdivision Congresses
General subdivision Mathematics
9 (RLIN) 44074
700 10 - ADDED ENTRY--PERSONAL NAME
Personal name Audebaud, Philippe
Relator term editor
9 (RLIN) 20527
Personal name Paulin-Mohring, Christine
Relator term editor
9 (RLIN) 20528
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type Book
Copies
Price effective from Permanent location Date last seen Not for loan Date acquired Source of classification or shelving scheme Koha item type Lost status Cost, normal purchase price Withdrawn status Source of acquisition Cost, replacement price Damaged status Barcode Shelving location Current location Public note Full call number
2011-08-03AUM Main Library2013-01-30 2013-01-30 Book 56.79 Jordan Book Centre39.75 AUM-003952English Collections HallAUM Main LibraryJBC/2011/9089005.1 M426