Logic in computer science : (Record no. 15307)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01642pam a2200253a 44500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240903113627.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 150502b2004 xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780521670890 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | BITS Pilani Hyderabad |
| Original cataloging agency | BITS Pilani Hyderabad |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | ENG |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004 HUT-M |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Huth, Michael |
| 245 ## - TITLE STATEMENT | |
| Title | Logic in computer science : |
| Remainder of title | modelling and reasoning about systems / |
| Statement of responsibility, etc. | Michael Huth and Mark Ryan |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | India |
| Name of publisher, distributor, etc. | Cambridge University Press |
| Date of publication, distribution, etc. | 2004 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 427 p. |
| 365 ## - TRADE PRICE | |
| Price type code | INR |
| Price amount | 495.00. |
| 365 ## - TRADE PRICE | |
| Price type code | INR |
| Price amount | 780.00. |
| 500 ## - GENERAL NOTE | |
| General note | Recent years have seen the development of powerful tools for verifying hardware and software systems and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound basis in logic and an introduction to the logical frameworks used in modelling specifying and verifying computer systems. It provides a simple and clear presentation covering propositional and predicate logic and some specialized logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology: further technicalities are introduced only when necessary. Numerous examples are given as well as a full exposition of a fast-growing technique for modelling and verifying computer systems known as symbolic model checking. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer logic |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Ryan, Mark |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | 004 HUT-M |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
| Withdrawn status | |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
| Withdrawn status | |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
| Withdrawn status | |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
| Withdrawn status | |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
| Withdrawn status | |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
| Withdrawn status | |
| Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Total Checkouts | Total Renewals | Full call number | Barcode | Date last seen | Date last checked out | Price effective from | Koha item type | Public note | Checked out |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Missing Book | Dewey Decimal Classification | 003-007 | BITS Pilani Hyderabad | BITS Pilani Hyderabad | Text & Reference Section (Student cannot borrow these books) | 02/05/2015 | 2 | 1 | 004 HUT-M | 11616 | 26/07/2023 | 21/08/2020 | 02/05/2015 | Course Text Book | Missing Books during stock verification 2024 | |||
| 003-007 | BITS Pilani Hyderabad | BITS Pilani Hyderabad | Text & Reference Section (Student cannot borrow these books) | 02/05/2015 | 5 | 1 | 004 HUT-M | 11617 | 13/07/2024 | 09/09/2022 | 02/05/2015 | Course Text Book | ||||||
| 003-007 | BITS Pilani Hyderabad | BITS Pilani Hyderabad | Text & Reference Section (Student cannot borrow these books) | 02/05/2015 | 4 | 004 HUT-M | 11618 | 09/10/2024 | 15/07/2024 | 02/05/2015 | Course Text Book | |||||||
| 003-007 | BITS Pilani Hyderabad | BITS Pilani Hyderabad | Text & Reference Section (Student cannot borrow these books) | 02/05/2015 | 5 | 004 HUT-M | 11619 | 18/08/2024 | 13/06/2023 | 02/05/2015 | Course Text Book | |||||||
| Missing Book | Dewey Decimal Classification | 003-007 | BITS Pilani Hyderabad | BITS Pilani Hyderabad | Text & Reference Section (Student cannot borrow these books) | 02/05/2015 | 1 | 004 HUT-M | 8497 | 18/10/2022 | 24/08/2022 | 02/05/2015 | Course Text Book | Missing Books during stock verification 2024 | ||||
| Dewey Decimal Classification | 003-007 | BITS Pilani Hyderabad | BITS Pilani Hyderabad | Text & Reference Section (Student cannot borrow these books) | 03/09/2024 | 1 | 1 | 004 HUT-M | P00014 | 10/09/2024 | 10/09/2024 | 03/09/2024 | Course Text Book | Project Book : NFSG (Sameera Muhammad Salam) | 10/11/2025 |