Central Library, KARE

header image

Dynamic Logic (Record no. 8063)

000 -LEADER
fixed length control field 00479nam a2200193Ia 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9788120331716
100 ## - MAIN ENTRY--AUTHOR NAME
Author Name Harel D
245 #0 - TITLE STATEMENT
Title Dynamic Logic
250 ## - EDITION STATEMENT
Edition statement -
264 ## - PUBLICATION STATEMENT
Name of the Publisher Prentice Hall of India Pvt. Ltd.
Year of Publication 2007
300 ## - PHYSICAL DESCRIPTION
Number of Pages "xv, 459"
490 ## - SERIES STATEMENT
Series statement -
500 ## - GENERAL NOTE
General note -
546 ## - LANGUAGE NOTE
Language English
650 ## - SUBJECT --TOPICAL TERM
Subject "Mathematics, Computer Science, "Dynamic Logic
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Kozen DTiuryn J
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Item Type Books
Holdings
Withdrawn status Lost Status Damaged Status Not for Loan Permanent Location Section Date of Purchase Vendor Price Call Number Accession Number Item Type
        Central Library, KARE, Krishnankoil Campus Transferred to Information Technology Dept. Library 28/11/2009 S.M.S. Book Division 295.00 - 39037 Books
        Central Library, KARE, Krishnankoil Campus General Stack 30/11/2007 Sri Mariyamman Stores 295.00 510.63 HAR 31182 Books
        Central Library, KARE, Krishnankoil Campus General Stack 30/11/2007 Sri Mariyamman Stores 295.00 510.63 HAR 31219 Books
        Central Library, KARE, Krishnankoil Campus General Stack 06/10/2009 TBH Library Book Suppliers 295.00 - 36463 Books
        Central Library, KARE, Krishnankoil Campus General Stack 25/02/2010 "Jaico Publishing House, Chennai" 295.00 510.63 HAR 56512 Books
        Central Library, KARE, Krishnankoil Campus General Stack 25/02/2010 "Jaico Publishing House, Chennai" 295.00 510.63 HAR 56513 Books
        Central Library, KARE, Krishnankoil Campus General Stack 25/02/2010 "Jaico Publishing House, Chennai" 295.00 510.63 HAR 56514 Books
        Central Library, KARE, Krishnankoil Campus General Stack 25/02/2010 "Jaico Publishing House, Chennai" 295.00 510.63 HAR 56515 Books
        Central Library, KARE, Krishnankoil Campus General Stack 25/02/2010 "Jaico Publishing House, Chennai" 295.00 - 59202 Books
        Central Library, KARE, Krishnankoil Campus General Stack 25/02/2010 "Jaico Publishing House, Chennai" 295.00 - 59203 Books
        Central Library, KARE, Krishnankoil Campus General Stack 25/02/2010 "Jaico Publishing House, Chennai" 295.00 - 59204 Books
        Central Library, KARE, Krishnankoil Campus General Stack 25/02/2010 "Jaico Publishing House, Chennai" 295.00 - 59205 Books
        Central Library, KARE, Krishnankoil Campus General Stack 25/02/2010 "Jaico Publishing House, Chennai" 295.00 - 59206 Books
Use your Register Number/Library Membership Number as your Login ID and Date of Birth (dd/mm/yyyy) as password to log in to your account

Implemented and Maintained by Central Library, KARE -[Visitors]- free website counter