Abstraction and specification in program development (Titelsatznr. 15737)

[ MARC ]
000 -LEADER
fixed length control field 01100nam a2200361 a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20150623165245.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 890410s1986 maua b 01 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 85023078
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0262121123
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0262121123 (MIT Press)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0070379963 (McGraw-Hill)
040 ## - CATALOGING SOURCE
Original cataloging agency CaQMHE
Language of cataloging fre
Modifying agency CaQQLAS
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.6
Item number .L5655 1986
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA 76.6 L769ab
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.12
Edition number 19
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.12
-- 19
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 005.12
Item number L.A
001 - CONTROL NUMBER
control field 0000038244
003 - CONTROL NUMBER IDENTIFIER
control field 0000
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Liskov, Barbara.
245 10 - TITLE STATEMENT
Title Abstraction and specification in program development
Medium [Book /]
Statement of responsibility, etc. Barbara Liskov and John Guttag.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Cambridge, Mass. :
Name of publisher, distributor, etc. MIT Press ;
Place of publication, distribution, etc. New York :
Name of publisher, distributor, etc. McGraw-Hill,
Date of publication, distribution, etc. c1986.
300 ## - PHYSICAL DESCRIPTION
Extent 469 p. :
Other physical details ill. ;
Dimensions 24 cm.
440 #4 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title The MIT electrical engineering and computer science series
500 ## - GENERAL NOTE
General note "Second printing, 1987".
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Bibliogr.
521 ## - TARGET AUDIENCE NOTE
Target audience note All age.
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programmation des ordinateurs.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programmation (Informatique).
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Guttag, John.
866 #0 - TEXTUAL HOLDINGS--BASIC BIBLIOGRAPHIC UNIT
-- 11
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Exemplare
Withdrawn status Lost status Damaged status Not for loan Permanent Location Current Location Shelving location Date acquired Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Date last checked out Copy number Price effective from Koha item type
        6october 6october 1105 2006-10-10 0.00 1 005.12 L.A SOULE105000788 2021-08-29 2018-10-24 1 2015-06-23 Books
www.soul.o6u.edu.eg

E-Mail: soul@o6u.edu.eg
Address: October 6 city – Central Axis – Next to El Hosary mosque.
Tell: (+202) 38376382
Fax: (+202) 38376280



Developed and implemented by ILC EG