Principles of the Spin Model Checker (Record no. 8569)

MARC details
000 -LEADER
fixed length control field 00480nam a22001817a 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240617154536.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 240617b |||||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781846287695
040 ## - CATALOGING SOURCE
Transcribing agency MUST
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 510 BEN 2008
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Ben-Ari, Mordechai.
9 (RLIN) 17382
245 ## - TITLE STATEMENT
Title Principles of the Spin Model Checker
Statement of responsibility, etc. Mordechai Ben-Ari
300 ## - PHYSICAL DESCRIPTION
Extent xv,216p.
Other physical details ill.
Dimensions 24cm
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc references and indexes
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Source of heading or term mathematics
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Open Shelf
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Source of acquisition Inventory number Total Checkouts Full call number Date last seen Price effective from Koha item type Barcode
    Dewey Decimal Classification     MUST Main Library MUST Main Library 17/06/2024 Purchase 11/35243   510 BEN 2008 17/06/2024 17/06/2024 Open Shelf  
    Dewey Decimal Classification     MUST Main Library MUST Main Library 17/06/2024 Purchase 11/35243   510 BEN 2008 17/06/2024 17/06/2024 Open Shelf 2024-20698