Computer Aided Verification : (Record no. 311176)

MARC details
000 -LEADER
fixed length control field 01714nam a22004093i 4500
001 - CONTROL NUMBER
control field EBC7070165
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240122001716.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 cnu||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 231124s2022 xx o ||||0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783031131882
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783031131875
035 ## - SYSTEM CONTROL NUMBER
System control number (MiAaPQ)EBC7070165
035 ## - SYSTEM CONTROL NUMBER
System control number (Au-PeEL)EBL7070165
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)1340956904
040 ## - CATALOGING SOURCE
Original cataloging agency MiAaPQ
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency MiAaPQ
Modifying agency MiAaPQ
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.758
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Shoham, Sharon.
245 10 - TITLE STATEMENT
Title Computer Aided Verification :
Remainder of title 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II.
250 ## - EDITION STATEMENT
Edition statement 1st ed.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Cham :
Name of producer, publisher, distributor, manufacturer Springer International Publishing AG,
Date of production, publication, distribution, manufacture, or copyright notice 2022.
264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Date of production, publication, distribution, manufacture, or copyright notice �2022.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (560 pages)
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science Series ;
Volume/sequential designation v.13372
588 ## - SOURCE OF DESCRIPTION NOTE
Source of description note Description based on publisher supplied metadata and other sources.
590 ## - LOCAL NOTE (RLIN)
Local note Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2023. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Vizel, Yakir.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading Shoham, Sharon
Title Computer Aided Verification
Place, publisher, and date of publication Cham : Springer International Publishing AG,c2022
International Standard Book Number 9783031131875
797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN)
Corporate name or jurisdiction name as entry element ProQuest (Firm)
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture Notes in Computer Science Series
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=7070165">https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=7070165</a>
Public note Click to View

No items available.