Model checking (Record no. 6757)

MARC details
000 -LEADER
fixed length control field 00850nam a2200253Ia 4500
001 - CONTROL NUMBER
control field CLA-MOD-ING-9780262038836
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20260729070444.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 260729s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780262038836
040 ## - CATALOGING SOURCE
Transcribing agency PK-LaCU
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title English
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.21 CLA
Item number CLA
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Clarke, Edmund M.
245 #0 - TITLE STATEMENT
Title Model checking
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. London
Name of publisher, distributor, etc. The MIT Press
264 ## - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Date of production, publication, distribution, manufacture, or copyright notice 1999
300 ## - PHYSICAL DESCRIPTION
Other physical details Soft Binding
365 ## - TRADE PRICE
Price amount 6011
Currency code Rs.
521 ## - TARGET AUDIENCE NOTE
Target audience note Faculty, students and Staff
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer Science
General subdivision Model, checking
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://libgen.is/book/index.php?md5=E70DD960B803F6011802595BBDC065B7">https://libgen.is/book/index.php?md5=E70DD960B803F6011802595BBDC065B7</a>
Link text Please click the link to access the online resource; use is subject to applicable permissions
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Classification part CLA
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Total checkouts Full call number Barcode Date last seen Copy number Uniform resource identifier Price effective from Koha item type
            Main Library Main Library   07/29/2026 Progressive International 6011.00   004.21 CLA 20958 07/29/2026 Copy 1 https://libgen.is/book/index.php?md5=E70DD960B803F6011802595BBDC065B7 07/29/2026 Books