| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a22000001i 4500 |
| 001 |
in00004371921 |
| 006 |
m |o d | |
| 007 |
cr |n||||||||| |
| 008 |
210904s2021 mau ob 001 0 eng d |
| 005 |
20250816205809.1 |
| 020 |
|
|
|a 9780262361521 (electronic bk.)
|
| 020 |
|
|
|a 0262361523 (electronic bk.)
|
| 020 |
|
|
|z 9780262044905
|
| 020 |
|
|
|z 0262044900
|
| 024 |
8 |
|
|a 40030757257
|
| 035 |
|
|
|a (NhCcYBP)ebc6715808
|
| 040 |
|
|
|a NhCcYBP
|c NhCcYBP
|d UtOrBLW
|
| 050 |
|
4 |
|a QA76.5913
|b .C578 2021
|
| 082 |
0 |
4 |
|a 006
|2 23
|
| 100 |
1 |
|
|a Cousot, Patrick,
|d 1948-
|e author.
|0 http://id.loc.gov/authorities/names/n93078898
|
| 245 |
1 |
0 |
|a Principles of abstract interpretation /
|c Patrick Cousot.
|
| 264 |
|
1 |
|a Cambridge, Massachusetts :
|b The MIT Press,
|c [2021]
|
| 300 |
|
|
|a 1 online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 588 |
|
|
|a Description based on print version record.
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Semantic computing.
|0 http://id.loc.gov/authorities/subjects/sh2009007899
|
| 650 |
|
0 |
|a Abstract data types (Computer science)
|0 http://id.loc.gov/authorities/subjects/sh85000253
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 710 |
2 |
|
|a ProQuest (Firm)
|0 http://id.loc.gov/authorities/names/n2007068018
|
| 776 |
1 |
8 |
|c Original
|z 9780262044905
|z 0262044900
|w (DLC) 2020041256
|
| 856 |
4 |
0 |
|u https://ebookcentral.proquest.com/lib/tamucs/detail.action?docID=6715808
|z Connect to the full text of this electronic book
|t 0
|
| 945 |
|
|
|b 52478
|
| 955 |
|
|
|a YBP purchased approval e-records
|
| 980 |
|
|
|b ebook
|c 40030757257
|f NONFIC/B
|g 565751
|k USD
|m 256.00
|q 1
|s AcqMono Conventional
|t Approval plan
|u Vendor order reference number
|v ZYBP
|y E-approvals
|z Electronic resource
|
| 987 |
|
|
|a ybp302442070
|
| 999 |
f |
f |
|s d24ee466-ea4b-3933-8514-fd754cd6158c
|i 33f6fd49-b59a-342c-9820-3f332ddd5f11
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|d Available Online
|t 0
|e QA76.5913 .C578 2021
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA76.5913 .C578 2021
|t 0
|l Available Online
|