MARC-Details
000 -Satzkennung |
Kontrollfeld mit fester Länge |
02843nam a2200481 u 4500 |
001 - Kontrollnummer |
Kontrollfeld |
1664402756 |
003 - Kontrollnummer Identifier |
Kontrollfeld |
DE-627 |
005 - Datum und Zeit der letzten Transaktion |
Kontrollfeld |
20231009165044.0 |
007 - Feld mit fester Länge zur physischen Beschreibung - Allgemeine Information |
Kontrollfeld mit fester Länge |
tu |
008 - Feld mit fester Länge zur physischen Beschreibung - Allgemeine Angaben |
Kontrollfeld mit fester Länge |
190430s2020 xxu||||| 00| ||eng c |
010 ## - Kontrollnummer der Library of Congress |
LC-Kontrollnummer |
2019010151 |
016 7# - Kontrollnummer der nationalbibliografischen Agentur |
Datensatzkontrollnummer |
1664402756 |
Quelle |
DE-576 |
016 7# - Kontrollnummer der nationalbibliografischen Agentur |
Datensatzkontrollnummer |
2019010151 |
Quelle |
US-DLC |
020 ## - Internationale Standardbuchnummer |
Internationale Standardbuchnummer |
9780262043410 |
Bezugsbedingungen |
hardcover |
-- |
978-0-262-04341-0 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(DE-627)1664402756 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(DE-599)KXP1664402756 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(OCoLC)1146069292 |
040 ## - Katalogisierungsquelle |
Original-Katalogisierungsstelle |
DE-627 |
Katalogisierungssprache |
ger |
Übertragungsstelle |
DE-627 |
Beschreibungsfestlegungen |
rda |
041 ## - Sprachcode |
Sprachcode des Textes/der Tonspur oder des separaten Titels |
eng |
044 ## - Ländercode der veröffentlichenden/herstellenden Stelle |
ISO-Ländercode |
XD-US |
050 #0 - Signatur der Library of Congress |
Notation |
TA351 |
078 p# - |
-- |
CI000054260 |
082 0# - Notation nach der Dewey Decimal Classification |
Notation |
620.1/03 |
Zuweisende Stelle |
LOC |
084 ## - Andere Notation |
Notation |
50.03 |
Quelle der Nummer |
bkl |
092 ## - LOCALLY ASSIGNED DEWEY CALL NUMBER (OCLC) |
Notation |
291/407 |
100 1# - Haupteintragung - Personenname |
Personenname |
Rival, Xavier |
Funktionsbezeichnung |
VerfasserIn |
Code für Beziehungskennzeichnung |
aut |
245 10 - Titel |
Titel |
Introduction to static analysis |
Zusatz zum Titel |
an abstract interpretation perspective |
Verfasserangabe etc. |
Xavier Rival and Kwangkeun Yi |
264 #1 - Produktion, Veröffentlichung, Distribution, Herstellung und Urheberrechtsvermerk |
Herstellungs-, Veröffentlichungs- Vertriebs-, Erzeugungsort |
Cambridge, Massachusetts |
-- |
London, England |
Produzent, Herausgeber, Distributor, Hersteller |
The MIT Press |
Datum der Herstellung, der Veröffentlichung, des Vertriebs oder des Urheberschutzvermerks |
[2020] |
264 #4 - Produktion, Veröffentlichung, Distribution, Herstellung und Urheberrechtsvermerk |
Datum der Herstellung, der Veröffentlichung, des Vertriebs oder des Urheberschutzvermerks |
© 2020 |
300 ## - Physische Beschreibung |
Umfang |
xiv, 299 Seiten |
Andere physische Details |
Diagramme |
336 ## - Inhaltstyp |
Inhaltstypterm |
Text |
Inhaltstypcode |
txt |
Quelle |
rdacontent |
337 ## - Medientyp |
Bezeichnung des Medientyps |
ohne Hilfsmittel zu benutzen |
Medientypcode |
n |
Quelle |
rdamedia |
338 ## - Datenträgertyp |
Datenträgertypbezeichnung |
Band |
Datenträgertypcode |
nc |
Quelle |
rdacarrier |
500 ## - Allgemeine Fußnote |
Allgemeine Fußnote |
Literaturverzeichnis: Seiten 291-296 |
520 ## - Fußnote zu Zusammenfassungen usw. |
Fußnote zur Zusammenfassung usw. |
"The book introduces static analysis. It covers both the basic theoretical foundations and the basic practical consideration underlying the design, implementation, and the use of static analysis tools. It is hard to find good references that could provide a quick and comprehensive introduction for non-experts. The scientific literature on static analysis is huge, and may seem hard for students or working engineers to get started quickly. Indeed, while we can recommend great scientific articles on many specific topics, these are often too advanced for a general audience. The purpose of this book is precisely to provide such a general introduction, that effectively provides the basic key concepts (both in the theory and in the practical point of view), gives the gist of the state of the art in program static analysis, and that can be read rather quickly and easily. More precisely, we cover the mathematical foundations of general static analysis frameworks (semantics, semantic abstraction, computation of program invariants), more advanced notions and techniques (abstractions for advanced programming features, and to answer a wide range of semantic questions), and techniques to implement and use static analysis tools"-- |
650 #0 - Nebeneintragung unter einem Schlagwort - Sachschlagwort |
Sachschlagwort oder geografischer Name als Eintragungselement |
Statics |
951 ## - EQUIVALENCE OR CROSS-REFERENCE--GEOGRAPHIC NAME/AREA NAME [OBSOLETE] [CAN/MARC only] |
Geografischer Name |
BO |
700 1# - Nebeneintragung - Personenname |
Personenname |
Yi, Kwangkeun |
Funktionsbezeichnung |
VerfasserIn |
IDN des Normdatensatzes oder Standardnummer |
(DE-588)130503290 |
-- |
(DE-627)502599219 |
-- |
(DE-576)298235374 |
Code für Beziehungskennzeichnung |
aut |
Koha-Normdatenidentnummer |
27888 |
856 42 - Elektronische Adresse und Zugriff |
URL |
<a href="https://www.gbv.de/dms/tib-ub-hannover/1664402756.pdf">https://www.gbv.de/dms/tib-ub-hannover/1664402756.pdf</a> |
Kontaktstelle für Hilfe beim Zugriff |
V:DE-601 |
-- |
B:DE-89 |
Elektronisches Format |
pdf/application |
Spezifische Materialangaben |
Inhaltsverzeichnis |
936 bk - OCLC/CONSER MISCELLANEOUS DATA (OCLC); PIECE USED FOR CATALOGING (pre-AACR2) (RLIN) |
OCLC control number(s) of parallel record(s) (OCLC); Piece used for cataloging, PUC (RLIN) |
50.03 |
-- |
Methoden und Techniken der Ingenieurwissenschaften |
-- |
(DE-627)181571455 |
942 ## - Zusätzliche Felder (Koha) |
Koha-Medientyp |
Buch |