MARC-Details
000 -Satzkennung |
Kontrollfeld mit fester Länge |
04633nam a2201033 u 4500 |
001 - Kontrollnummer |
Kontrollfeld |
34510711X |
003 - Kontrollnummer Identifier |
Kontrollfeld |
DE-627 |
005 - Datum und Zeit der letzten Transaktion |
Kontrollfeld |
20231009152235.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 |
020327s2002 gw ||||| 00| ||eng c |
010 ## - Kontrollnummer der Library of Congress |
LC-Kontrollnummer |
2002021114 |
015 ## - Nummer der Nationalbibliografie |
Nummer der Nationalbibliografie |
02,N15,0318 |
Quelle |
dnb |
015 ## - Nummer der Nationalbibliografie |
Nummer der Nationalbibliografie |
02,A25,0704 |
Quelle |
dnb |
016 7# - Kontrollnummer der nationalbibliografischen Agentur |
Datensatzkontrollnummer |
963980718 |
Quelle |
DE-101 |
020 ## - Internationale Standardbuchnummer |
Internationale Standardbuchnummer |
3540434771 |
Bezugsbedingungen |
kart. : EUR 40.00 |
-- |
3-540-43477-1 |
024 3# - Anderer Standardidentifier |
Standardnummer oder Code |
9783540434771 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(DE-627)34510711X |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(DE-576)098182579 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(DE-599)GBV34510711X |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(OCoLC)248731631 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(OCoLC)49320468 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(OCoLC)248731631 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(ZBM)0992.00040 |
035 ## - Systemkontrollnummer |
System-Kontrollnummer |
(ZBM)0992.00040 |
040 ## - Katalogisierungsquelle |
Original-Katalogisierungsstelle |
DE-627 |
Katalogisierungssprache |
ger |
Übertragungsstelle |
DE-627 |
Beschreibungsfestlegungen |
rakwb |
041 ## - Sprachcode |
Sprachcode des Textes/der Tonspur oder des separaten Titels |
eng |
044 ## - Ländercode der veröffentlichenden/herstellenden Stelle |
ISO-Ländercode |
XA-DE |
-- |
XD-US |
-- |
XA-ES |
084 ## - Andere Notation |
Notation |
28 |
Quelle der Nummer |
sdnb |
084 ## - Andere Notation |
Notation |
SS 4800 |
Quelle der Nummer |
rvk |
IDN des Normdatensatzes oder Standardnummer |
(DE-625)rvk/143528: |
084 ## - Andere Notation |
Notation |
*00B25 |
Quelle der Nummer |
msc |
084 ## - Andere Notation |
Notation |
68-06 |
Quelle der Nummer |
msc |
084 ## - Andere Notation |
Notation |
68Q60 |
Quelle der Nummer |
msc |
084 ## - Andere Notation |
Notation |
54.10 |
Quelle der Nummer |
bkl |
084 ## - Andere Notation |
Notation |
54.52 |
Quelle der Nummer |
bkl |
084 ## - Andere Notation |
Notation |
54.53 |
Quelle der Nummer |
bkl |
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) |
Notation (OCLC) (R) ; Notation, CALL (RLIN) (NR) |
a |
092 ## - LOCALLY ASSIGNED DEWEY CALL NUMBER (OCLC) |
Notation |
Sa 18 |
245 10 - Titel |
Titel |
Model checking software |
Zusatz zum Titel |
proceedings |
Verfasserangabe etc. |
9th International SPIN Workshop, Grenoble, France, April 11 - 13, 2002. Dragan Bos̆nac̆ki; Stefan Leue (ed.) |
246 30 - Titelvarianten |
Hauptsachtitel/Kurztitel |
9th International SPIN Workshop |
264 #1 - Produktion, Veröffentlichung, Distribution, Herstellung und Urheberrechtsvermerk |
Herstellungs-, Veröffentlichungs- Vertriebs-, Erzeugungsort |
Berlin |
-- |
Heidelberg [u.a.] |
Produzent, Herausgeber, Distributor, Hersteller |
Springer |
Datum der Herstellung, der Veröffentlichung, des Vertriebs oder des Urheberschutzvermerks |
2002 |
300 ## - Physische Beschreibung |
Umfang |
X, 257 S. |
Andere physische Details |
graph. Darst. |
Maße |
24 cm |
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 |
490 1# - Gesamttitelangabe |
Gesamttitelangabe |
Lecture notes in computer science |
Bandnummer/Folgebezeichnung |
2318 |
500 ## - Allgemeine Fußnote |
Allgemeine Fußnote |
Literaturangaben |
580 ## - Fußnote zum Umfang der Verknüpfungseintragung |
Fußnote zum Umfang der Verknüpfungseintragung |
Bošnački, Dragan: Model Checking Software |
583 1# - Fußnote zum Bearbeitungsvermerk |
Bearbeitung |
Archivierung/Langzeitarchivierung gewährleistet |
Autorisierende Stelle |
PEBW |
Quelle der Ansetzung oder des Terms |
pdager |
Das Unterfeld gibt die Institution an, auf die sich das Feld bezieht |
DE-31 |
650 #0 - Nebeneintragung unter einem Schlagwort - Sachschlagwort |
Sachschlagwort oder geografischer Name als Eintragungselement |
SPIN (Computer file) |
Allgemeine Unterteilung |
Congresses |
650 #0 - Nebeneintragung unter einem Schlagwort - Sachschlagwort |
Sachschlagwort oder geografischer Name als Eintragungselement |
Computer software |
Allgemeine Unterteilung |
Verification |
-- |
Congresses |
650 #4 - Nebeneintragung unter einem Schlagwort - Sachschlagwort |
Sachschlagwort oder geografischer Name als Eintragungselement |
Computer software |
Allgemeine Unterteilung |
Verification |
-- |
Congresses |
650 #4 - Nebeneintragung unter einem Schlagwort - Sachschlagwort |
Sachschlagwort oder geografischer Name als Eintragungselement |
SPIN (Computer file) |
Allgemeine Unterteilung |
Congresses |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Model Checking |
-- |
212412167 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Model Checking |
-- |
212412167 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Model Checking |
-- |
212412167 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Model Checking |
-- |
212412167 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Programmverifikation |
-- |
209661925 |
653 ## - Indexierungsterm - Nicht normiert |
-- |
Programmverifikation |
-- |
209661925 |
655 #7 - Indexierungsterm - Genre/Form |
Genre/Form oder fokussierter Term |
Konferenzschrift |
Chronologische Unterteilung |
2002 |
Geografische Unterteilung |
Grenoble |
IDN des Normdatensatzes oder Standardnummer |
(DE-588)1071861417 |
-- |
(DE-627)826484824 |
-- |
(DE-576)433375485 |
Quelle der Ansetzung oder des Terms |
gnd-content |
689 00 - |
-- |
s |
-- |
(DE-588)4434799-6 |
-- |
(DE-627)222527455 |
-- |
(DE-576)212412167 |
-- |
Model Checking |
-- |
gnd |
689 0# - |
-- |
DE-101 |
689 10 - |
-- |
s |
-- |
(DE-588)4135576-3 |
-- |
(DE-627)10566409X |
-- |
(DE-576)209661925 |
-- |
Programmverifikation |
-- |
gnd |
689 11 - |
-- |
s |
-- |
(DE-588)4434799-6 |
-- |
(DE-627)222527455 |
-- |
(DE-576)212412167 |
-- |
Model Checking |
-- |
gnd |
689 1# - |
-- |
DE-101 |
689 20 - |
-- |
s |
-- |
(DE-588)4434799-6 |
-- |
(DE-627)222527455 |
-- |
(DE-576)212412167 |
-- |
Model Checking |
-- |
gnd |
689 2# - |
-- |
(DE-627) |
689 30 - |
-- |
s |
-- |
(DE-588)4135576-3 |
-- |
(DE-627)10566409X |
-- |
(DE-576)209661925 |
-- |
Programmverifikation |
-- |
gnd |
689 31 - |
-- |
s |
-- |
(DE-588)4434799-6 |
-- |
(DE-627)222527455 |
-- |
(DE-576)212412167 |
-- |
Model Checking |
-- |
gnd |
689 3# - |
-- |
(DE-627) |
951 ## - EQUIVALENCE OR CROSS-REFERENCE--GEOGRAPHIC NAME/AREA NAME [OBSOLETE] [CAN/MARC only] |
Geografischer Name |
BO |
700 1# - Nebeneintragung - Personenname |
Personenname |
Bos̆nac̆ki, Dragan |
Funktionsbezeichnung |
Hrsg. |
Code für Beziehungskennzeichnung |
edt |
711 2# - Nebeneintragung - Kongressname |
Kongress- oder Gebietskörperschaftsname als Eintragungselement |
International SPIN Workshop |
Zählung eines Teils/einer Abteilung/eines Kongresses |
9 |
Datum des Kongresses oder der Vertragsunterzeichnung |
2002 |
Ort des Kongresses |
Grenoble |
IDN des Normdatensatzes oder Standardnummer |
(DE-588)10035056-2 |
-- |
(DE-627)343857081 |
-- |
(DE-576)199082901 |
Code für Beziehungskennzeichnung |
oth |
Koha-Normdatenidentnummer |
24153 |
775 0# - Andere Ausgabe |
Haupteintragung |
Online-Ausg.: / Bošnački, Dragan: Model Checking Software |
776 08 - Andere physische Form |
Verweisungsphrase |
Online-Ausg. |
Haupteintragung |
Bošnački, Dragan |
Titel |
Model Checking Software |
Ort, Verlag und Erscheinungsjahr |
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002 |
Physische Beschreibung |
Online-Ressource |
Datensatzkontrollnummer |
(DE-627)1649267819 |
-- |
(DE-576)322900441 |
Internationale Standardbuchnummer |
9783540460176 |
-- |
3540434771 |
800 ## - Nebeneintragung unter dem Gesamttitel - Personenname |
Bandnummer/Folgebezeichnung |
231800 |
830 #0 - Nebeneintragung unter dem Gesamttitel - Einheitstitel |
Einheitstitel |
Lecture notes in computer science |
Datensatzkontrollnummer |
(DE-627)129300152 |
-- |
(DE-576)014492687 |
-- |
(DE-600)121909-1 |
Internationale Standardseriennummer |
0302-9743 |
Kontrollunterfeld |
ns |
Bandnummer/Folgebezeichnung |
2318 |
856 42 - Elektronische Adresse und Zugriff |
URL |
<a href="https://swbplus.bsz-bw.de/bsz098182579inh.htm">https://swbplus.bsz-bw.de/bsz098182579inh.htm</a> |
Kontaktstelle für Hilfe beim Zugriff |
V:DE-576 |
Elektronisches Format |
text/html |
Spezifische Materialangaben |
Inhaltsverzeichnis |
856 42 - Elektronische Adresse und Zugriff |
URL |
<a href="https://swbplus.bsz-bw.de/bsz098182579kap.htm">https://swbplus.bsz-bw.de/bsz098182579kap.htm</a> |
Kontaktstelle für Hilfe beim Zugriff |
V:DE-576 |
Elektronisches Format |
text/html |
Spezifische Materialangaben |
Kapitel 1 |
856 42 - Elektronische Adresse und Zugriff |
URL |
<a href="https://swbplus.bsz-bw.de/bsz098182579cov.jpg">https://swbplus.bsz-bw.de/bsz098182579cov.jpg</a> |
Kontaktstelle für Hilfe beim Zugriff |
V:DE-576 |
Elektronisches Format |
text/html |
Spezifische Materialangaben |
Cover |
856 42 - Elektronische Adresse und Zugriff |
URL |
<a href="https://zbmath.org/?q=an:0992.00040">https://zbmath.org/?q=an:0992.00040</a> |
Kontaktstelle für Hilfe beim Zugriff |
B:ZBM |
Zugriffszeiten |
2021-04-12 |
Verknüpfungstext |
Zentralblatt MATH |
Spezifische Materialangaben |
Inhaltstext |
935 ## - |
-- |
sf |
935 ## - |
-- |
Blocktest |
936 rv - 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) |
SS 4800 |
-- |
Lecture notes in computer science |
-- |
Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen |
-- |
Schriftenreihen (indiv. Sign.) |
-- |
Lecture notes in computer science |
-- |
(DE-627)1271461242 |
-- |
(DE-625)rvk/143528: |
-- |
(DE-576)201461242 |
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) |
54.10 |
-- |
Theoretische Informatik |
-- |
(DE-627)106418815 |
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) |
54.52 |
-- |
Software engineering |
-- |
(DE-627)106418882 |
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) |
54.53 |
-- |
Programmiersprachen |
-- |
(DE-627)106418890 |
942 ## - Zusätzliche Felder (Koha) |
Koha-Medientyp |
Buch |