The Foundations of program verification (Titelsatznr. 15739)

[ MARC ]
000 -LEADER
fixed length control field 01139pam 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 830803s1984 gw b 00110 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 047190323X :
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 047190323X
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 047190323X :
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Language of cataloging eng
Transcribing agency DLC
Modifying agency CaOONL
060 ## - NATIONAL LIBRARY OF MEDICINE CALL NUMBER
Item number L F
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.642
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.642
Edition number 19
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.642
-- 19
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 001.642
Item number L F
001 - CONTROL NUMBER
control field 0000038246
003 - CONTROL NUMBER IDENTIFIER
control field 0000
100 10 - MAIN ENTRY--PERSONAL NAME
Personal name Loeckx, J. J. C.
Fuller form of name (Jacques J. C.).)
245 14 - TITLE STATEMENT
Title The Foundations of program verification
Medium [[Book] /]
Statement of responsibility, etc. Jacques Loeckx and Kurt Sieber, in collaboration with Ryan D. Stansifer.
260 0# - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Stuttgart [Germany] :
Name of publisher, distributor, etc. B.G. Teubner ;
Place of publication, distribution, etc. Chichester ;
-- New York :
Name of publisher, distributor, etc. Wiley,
Date of publication, distribution, etc. 1984.
300 ## - PHYSICAL DESCRIPTION
Extent 230 p ;
Dimensions 24 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Wiley-Teubner series in computer science
490 0# - SERIES STATEMENT
Series statement Wiley-Teubner series in computer science
500 ## - GENERAL NOTE
General note Includes index.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Bibliography: p. 222-226.
521 ## - TARGET AUDIENCE NOTE
Target audience note All age.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programs
General subdivision Verification.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logiciels
General subdivision Vérification.
700 10 - ADDED ENTRY--PERSONAL NAME
Personal name Sieber, Kurt.
700 10 - ADDED ENTRY--PERSONAL NAME
Personal name Stansifer, Ryan D.
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 001.642 L F SOULE105000037 2020-08-24 2018-12-16 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