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 |