Principles of model checking (Record no. 191015)

MARC details
000 -LEADER
fixed length control field 01329nam a2200337 a 4500
001 - CONTROL NUMBER
control field ebr10223883
003 - CONTROL NUMBER IDENTIFIER
control field CaPaEBR
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m u
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 070911s2008 maua sb 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
Canceled/invalid LC control number 2007037603
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBA847597
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Canceled/invalid control number 014566457
Source Uk
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9780262026499 (hardcover : alk. paper)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 026202649X (hardcover : alk. paper)
040 ## - CATALOGING SOURCE
Original cataloging agency CaPaEBR
Transcribing agency CaPaEBR
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)228031090
050 14 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.V47
Item number B35 2008eb
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.2/4
Edition number 22
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Baier, Christel.
245 10 - TITLE STATEMENT
Title Principles of model checking
Medium [electronic resource] /
Statement of responsibility, etc. Christel Baier, Joost-Pieter Katoen.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge, Mass. :
Name of publisher, distributor, etc. MIT Press,
Date of publication, distribution, etc. 2008.
300 ## - PHYSICAL DESCRIPTION
Extent xvii, 975 p. :
Other physical details ill.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references (p. 931-964) and index.
533 ## - REPRODUCTION NOTE
Type of reproduction Electronic reproduction.
Place of reproduction Palo Alto, Calif. :
Agency responsible for reproduction ebrary,
Date of reproduction 2013.
Note about reproduction Available via World Wide Web.
-- Access may be limited to ebrary affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer systems
General subdivision Verification.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
General subdivision Verification.
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
Source of term local
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Katoen, Joost-Pieter.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element ebrary, Inc.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://site.ebrary.com/lib/daystar/Doc?id=10223883">http://site.ebrary.com/lib/daystar/Doc?id=10223883</a>
Public note An electronic book accessible through the World Wide Web; click to view

No items available.