Dynamic logic / (Record no. 13896)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01846pam a2200253a 44500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 150502b2000 xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9788120331716 |
| 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.015113 HAR-D |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Harel, David |
| 245 ## - TITLE STATEMENT | |
| Title | Dynamic logic / |
| Statement of responsibility, etc. | David Harel, Dexter Kozen and Jerzy Tiuryn |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | India |
| Name of publisher, distributor, etc. | Prentice Hall of India |
| Date of publication, distribution, etc. | 2000 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 459 p. |
| 365 ## - TRADE PRICE | |
| Price type code | INR |
| Price amount | 295.00. |
| 500 ## - GENERAL NOTE | |
| General note | Dynamic Logic is a formal system for reasoning about programs and it also enjoys the singular advantage of being strongly related to classical logic. Traditionally, this has meant formalizing correctness specifications are met by a particular program. This book presents a comprehensive introduction to Dynamic Logic (DL). It can be described as a blend of three complementary classical ingredients: first-order predicate logic, modal logic, and the algebra of regular events. These components merge to form a system of remarkable unity that is theoretically rich as well as practical. The text is divided into three parts: Part I reviews the fundamental concepts of logic and computability theory that are needed in the study of Dynamic Logic. Part II discusses Propositional Dynamic Logic and its variants, and Part III discusses First-Order Dynamic and its variants. Examples are provided throughout, and a collection of exercises and a short historical section are included at the end of each chapter. The book will be well suited for the students of computer science and those pursuing postgraduate courses in philosophy. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Foundations of computing |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal methods (Computer science)ﾠ |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer logicﾠ |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kozen, Dexter. |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Tiuryn, Jerzy |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | 004.015113 HAR-D |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| 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 | Full call number | Barcode | Date last seen | Date last checked out | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | 003-007 | BITS Pilani Hyderabad | BITS Pilani Hyderabad | General Stack (For lending) | 02/05/2015 | 2 | 004.015113 HAR-D | 3624 | 13/07/2024 | 14/12/2021 | 02/05/2015 | Books |