000 -LEADER |
fixed length control field |
01190cam a22002654a 4500 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20200125135343.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
020826s2003 enk b 001 0 eng |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1852332476 (alk. paper) |
|
International Standard Book Number |
9781852332471 |
041 1# - Language |
Language code of text/sound track or separate title |
eng |
050 00 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76.6 |
Item number |
.M6513 2003 |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004.0151 |
Edition number |
21 |
Item number |
M744 |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Monin, Jean Francois, |
Dates associated with a name |
1960- |
9 (RLIN) |
36316 |
240 10 - UNIFORM TITLE |
Uniform title |
Introduction aux methodes formelles. |
Language of a work |
English |
245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE |
Title |
Understanding formal methods / |
Statement of responsibility, etc |
written and translated by Jean Franccois Monin ; translation editor, Michael G. Hinchey. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
London : |
Name of publisher, distributor, etc |
Springer, |
Date of publication, distribution, etc |
2003. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xv, 275 p. ; |
Dimensions |
24 cm. |
500 ## - GENERAL NOTE |
General note |
"... published with the help of the French Ministère de la culture--Centre national du livre." |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references (p. [255]-267) and index. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Formal methods (Computer science) |
9 (RLIN) |
3979 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Hinchey, Michael G. |
Fuller form of name |
(Michael Gerard), |
Dates associated with a name |
1969- |
9 (RLIN) |
13603 |
Relator term |
translator |
856 42 - ELECTRONIC LOCATION AND ACCESS |
Materials specified |
Publisher description |
Uniform Resource Identifier |
http://www.loc.gov/catdir/enhancements/fy0816/2002030646-d.html |
|
Materials specified |
Table of contents only |
Uniform Resource Identifier |
http://www.loc.gov/catdir/enhancements/fy0816/2002030646-t.html |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Item type |
Book |