The spin model checker : (Record no. 7723)

MARC details
000 -LEADER
fixed length control field 01069nam a2200253 a 4500
001 - CONTROL NUMBER
control field 0321228626
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100308s2004 xxua b 001 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2003057704
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0321228626 (hardback)
International Standard Book Number 9780321228628
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency StSaUL
-- BD-DhAAL
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 620/.001/171
Edition number 22
999 ## - SYSTEM CONTROL NUMBERS (KOHA)
Koha biblionumber 7723
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Holzmann, Gerald J.,
Dates associated with a name 1951-
245 10 - TITLE STATEMENT
Title The spin model checker :
Remainder of title primer and reference manual /
Statement of responsibility, etc Gerald J. Holzmann
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Boston, MA :
Name of publisher, distributor, etc Addison-Wesley,
Date of publication, distribution, etc c2004.
300 ## - PHYSICAL DESCRIPTION
Extent xii, 596 p. :
Other physical details ill. ;
Dimensions 25 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systems engineering
General subdivision Mathematical models.
Topical term or geographic name as entry element Computer programs
General subdivision Testing.
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
    Dewey Decimal Classification     Ayesha Abed Library Ayesha Abed Library General Stacks 08/03/2010   620.001171 HOL 3010019916 08/03/2010 1 08/03/2010 Book
    Dewey Decimal Classification     Ayesha Abed Library Ayesha Abed Library General Stacks 08/03/2010   620.001171 HOL 3010019917 08/03/2010 2 08/03/2010 Book