Logic in Computer Science: Modelling and Reasoning about Systems (Record no. 616)

MARC details
000 -LEADER
fixed length control field 00483nam a2200169Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 190215s9999||||xx |||||||||||||| ||und||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521670890
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.101
Item number Hut
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Huth, Michael.
9 (RLIN) 1569
245 #0 - TITLE STATEMENT
Title Logic in Computer Science: Modelling and Reasoning about Systems
250 ## - EDITION STATEMENT
Edition statement 2/e
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New Delhi
Name of publisher, distributor, etc. Cambridge University Press
Date of publication, distribution, etc. 2018
300 ## - PHYSICAL DESCRIPTION
Extent xiv, 427p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer logic
9 (RLIN) 1570
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Ryan, Mark.
9 (RLIN) 1571
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Koha issues (borrowed), all copies 25
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Source of acquisition Cost, normal purchase price Total Checkouts Total Renewals Full call number Barcode Date last seen Date last checked out Copy number Price effective from Koha item type Public note Date acquired
        Technical IIT Goa Central Library IIT Goa Central Library Researchco Books & Periodicals Pvt. Ltd. 850.00 4 1 005.101/Hut 1635 2022-12-08 2022-11-25 1 2019-02-15 Books RBPPL72138/18-19|| 31-08-18|| 28.00%  
        Technical IIT Goa Central Library IIT Goa Central Library Researchco Books & Periodicals Pvt. Ltd. 850.00 7 2 005.101/Hut 1636 2023-11-24 2023-10-25 2 2019-02-15 Books RBPPL72138/18-19|| 31-08-18|| 28.00% 2021-11-23
        Technical IIT Goa Central Library IIT Goa Central Library Researchco Books & Periodicals Pvt. Ltd. 850.00 5 2 005.101/Hut 1637 2021-12-17 2021-11-10 3 2019-02-15 Books RBPPL72138/18-19|| 31-08-18|| 28.00% 2021-10-04
        Technical IIT Goa Central Library IIT Goa Central Library Researchco Books & Periodicals Pvt. Ltd. 850.00 7 3 005.101/Hut 1638 2023-11-24 2023-10-25 4 2019-02-15 Books RBPPL72138/18-19|| 31-08-18|| 28.00% 2021-12-30
        Technical IIT Goa Central Library IIT Goa Central Library Researchco Books & Periodicals Pvt. Ltd. 850.00 5   005.101/Hut 1639 2023-10-19 2023-09-20 5 2019-02-15 Books RBPPL72138/18-19|| 31-08-18|| 28.00%  
        Technical IIT Goa Central Library IIT Goa Central Library Researchco Books & Periodicals Pvt. Ltd. 850.00 5 1 005.101/Hut 1640 2022-12-09 2022-11-21 6 2019-02-15 Books RBPPL72138/18-19|| 31-08-18|| 28.00% 2021-10-20
        Technical IIT Goa Central Library IIT Goa Central Library Researchco Books & Periodicals Pvt. Ltd. 850.00 3 1 005.101/Hut 1641 2023-09-21 2023-09-04 7 2019-02-15 Books RBPPL72138/18-19|| 31-08-18|| 28.00%  
        Technical IIT Goa Central Library IIT Goa Central Library Researchco Books & Periodicals Pvt. Ltd. 850.00 5 1 005.101/Hut 1642 2022-12-08 2022-11-25 8 2019-02-15 Books RBPPL72138/18-19|| 31-08-18|| 28.00%  
        Technical IIT Goa Central Library IIT Goa Central Library Researchco Books & Periodicals Pvt. Ltd. 850.00 3   005.101/Hut 1643 2024-04-19 2023-06-06 9 2019-02-15 Books RBPPL72138/18-19|| 31-08-18|| 28.00%  
        Technical IIT Goa Central Library IIT Goa Central Library Researchco Books & Periodicals Pvt. Ltd. 850.00 3 1 005.101/Hut 1644 2023-09-27 2023-08-23 10 2019-02-15 Books RBPPL72138/18-19|| 31-08-18|| 28.00% 2021-10-11
        Technical IIT Goa Central Library IIT Goa Central Library Researchco Books & Periodicals Pvt. Ltd. 850.00 8   005.101/Hut 1645 2023-09-20 2023-08-23 11 2019-02-15 Books RBPPL72138/18-19|| 31-08-18|| 28.00% 2021-10-11
        Technical IIT Goa Central Library IIT Goa Central Library Researchco Books & Periodicals Pvt. Ltd. 850.00 2   005.101/Hut 1646 2022-12-08 2022-12-02 12 2019-02-15 Books RBPPL72138/18-19|| 31-08-18|| 28.00%  
© 2021 Managed and maintained by Central Library, IIT Goa