Software for dependable systems (Record no. 204997)

MARC details
000 -LEADER
fixed length control field 01777nam a2200409Ia 4500
001 - CONTROL NUMBER
control field EBC3378266
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240121044010.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 070706s2007 dcua sb 000 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 0309103940
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9780309103947
035 ## - SYSTEM CONTROL NUMBER
System control number (MiAaPQ)EBC3378266
035 ## - SYSTEM CONTROL NUMBER
System control number (Au-PeEL)EBL3378266
035 ## - SYSTEM CONTROL NUMBER
System control number (CaPaEBR)ebr10194168
035 ## - SYSTEM CONTROL NUMBER
System control number (CaONFJC)MIL94144
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)923277140
040 ## - CATALOGING SOURCE
Original cataloging agency MiAaPQ
Transcribing agency MiAaPQ
Modifying agency MiAaPQ
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.R44
Item number N35 2007
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005
Edition number 22
110 2# - MAIN ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element National Research Council (U.S.).
Subordinate unit Committee on Certifiably Dependable Software Systems.
245 10 - TITLE STATEMENT
Title Software for dependable systems
Medium [electronic resource] :
Remainder of title sufficient evidence? /
Statement of responsibility, etc. Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Washington, D.C. :
Name of publisher, distributor, etc. National Academies Press,
Date of publication, distribution, etc. c2007.
300 ## - PHYSICAL DESCRIPTION
Extent xv, 131 p. :
Other physical details ill.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references (p. 110-116).
533 ## - REPRODUCTION NOTE
Type of reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
General subdivision Reliability.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software engineering.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Systems software
General subdivision Reliability.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Jackson, Daniel.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Millett, Lynette I.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Thomas, Martyn.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element ProQuest (Firm)
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=3378266">https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=3378266</a>
Public note Click to View

No items available.