MARC details
| 000 -LEADER |
|---|
| fixed length control field |
01963cam a22003734a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
13550178 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20200831145532.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
040407s2004 enka b 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2004045921 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780521670890 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
510.668 |
| Item number |
HUT |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Huth, Michael, |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Logic in computer science : |
| Remainder of title |
modelling and reasoning about systems / |
| Statement of responsibility, etc. |
Michael Huth, Mark Ryan. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
2nd ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Cambridge [U.K.] ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Cambridge University Press, |
| Date of publication, distribution, etc. |
2004. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Page number |
xiv, 427 p. : |
| Other physical details |
ill. ; |
| Dimensions |
25 cm. |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
1. Propositional logic --<br/> |
| -- |
2. Predicate logic --<br/> |
| -- |
3. Verification by model checking --<br/> |
| -- |
4. Program verification --<br/> |
| -- |
5. Modal logics and agents --<br/> |
| -- |
6. Binary decision diagrams. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. At the same time, the shift towards internet-based distributed computing |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer logic. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Logic programming. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Ryan, Mark, |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |
| Koha item type |
Books |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Dates associated with a name |
1962- |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references (p. 414-417) and index. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Dates associated with a name |
1962- |
| 856 41 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Sample text |
| Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/samples/cam041/2004045921.html">http://www.loc.gov/catdir/samples/cam041/2004045921.html</a> |
| 856 41 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Table of contents |
| Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/toc/cam041/2004045921.html">http://www.loc.gov/catdir/toc/cam041/2004045921.html</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Publisher description |
| Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/description/cam041/2004045921.html">http://www.loc.gov/catdir/description/cam041/2004045921.html</a> |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) |
|---|
| a |
7 |
| b |
cbc |
| c |
orignew |
| d |
1 |
| e |
ocip |
| f |
20 |
| g |
y-gencatlg |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) |
|---|
| -- |
1783 |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) |
|---|
| -- |
1784 |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) |
|---|
| -- |
1785 |
