Principles of model checking (Record no. 43583)

MARC details
000 -LEADER
fixed length control field 00729nam a2200229Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 191130s2008##################000#0#eng##
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780262026499
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER
International Standard Serial Number 2007037603
040 ## - CATALOGING SOURCE
Original cataloging agency ACL
Transcribing agency ACL
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.24 BAI
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Baier, Christel
245 ## - TITLE STATEMENT
Title Principles of model checking
Statement of responsibility, etc. Christel Baier, Joost-Pieter Katoen
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge, MA
Name of publisher, distributor, etc. The MIT Press
Date of publication, distribution, etc. 2008
300 ## - PHYSICAL DESCRIPTION
Extent xvii, 975 p. : ill. ; 26 cm
500 ## - GENERAL NOTE
General note Includes bibliographical references (p. 931-964) and index
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software - Verification
Topical term or geographic name entry element Computer systems - Verification
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Katoen, Joost-Pieter
990 ## - EQUIVALENCES OR CROSS-REFERENCES [LOCAL, CANADA]
Link information for 9XX fields b0ad5e55ac10000c3970797327fe397c
991 ## -
-- 61608
Holdings
Withdrawn status Lost status Materials specified (bound volume or other part) Damaged status Not for loan Home library Current library Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    hbk     Anna Centenary Library Anna Centenary Library 09.10.2020   004.24 BAI 463395 09.10.2020 09.10.2020 English Books

Find us on the map

Powered by Koha