Campusbibliothek

Industrial benefit of formal methods (Titelsatznr. 25340)

[ MARC ]
MARC-Details
000 -Satzkennung
Kontrollfeld mit fester Länge 05065nam a2200961 u 4500
001 - Kontrollnummer
Kontrollfeld 043453252
003 - Kontrollnummer Identifier
Kontrollfeld DE-627
005 - Datum und Zeit der letzten Transaktion
Kontrollfeld 20231009145017.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 950805s1994 gw ||||| 00| ||eng c
013 ## - Kontrollinformationen für Patente
Nummer 164289542
013 ## - Kontrollinformationen für Patente
Nummer 272034118
015 ## - Nummer der Nationalbibliografie
Nummer der Nationalbibliografie 94,N40,0186
Quelle dnb
016 7# - Kontrollnummer der nationalbibliografischen Agentur
Datensatzkontrollnummer 942177762
Quelle DE-101
020 ## - Internationale Standardbuchnummer
Internationale Standardbuchnummer 0387585559
-- 0-387-58555-9
020 ## - Internationale Standardbuchnummer
Internationale Standardbuchnummer 3540585559
-- 3-540-58555-9
035 ## - Systemkontrollnummer
System-Kontrollnummer (DE-627)043453252
035 ## - Systemkontrollnummer
System-Kontrollnummer (DE-576)041968824
035 ## - Systemkontrollnummer
System-Kontrollnummer (DE-599)GBV043453252
035 ## - Systemkontrollnummer
System-Kontrollnummer (OCoLC)246326575
035 ## - Systemkontrollnummer
System-Kontrollnummer (OCoLC)832254343
035 ## - Systemkontrollnummer
System-Kontrollnummer (OCoLC)246326575
035 ## - Systemkontrollnummer
System-Kontrollnummer (OCoLC)311776334
035 ## - Systemkontrollnummer
System-Kontrollnummer (OCoLC)246326575
035 ## - Systemkontrollnummer
System-Kontrollnummer (ZBM)0802.00034
035 ## - Systemkontrollnummer
System-Kontrollnummer (ZBM)0802.00034
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-GB
050 #0 - Signatur der Library of Congress
Notation QA76.76.D47
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 ST 230
Quelle der Nummer rvk
IDN des Normdatensatzes oder Standardnummer (DE-625)rvk/143617:
084 ## - Andere Notation
Notation SS 1994
Quelle der Nummer rvk
IDN des Normdatensatzes oder Standardnummer (DE-625)rvk/143431:
084 ## - Andere Notation
Notation *00B25
Quelle der Nummer msc
084 ## - Andere Notation
Notation 68-06
Quelle der Nummer msc
084 ## - Andere Notation
Notation 54.52
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 Industrial benefit of formal methods
Zusatz zum Titel Barcelona, Spain, October 24 - 28, 1994; proceedings
Verfasserangabe etc. FME '94, Second International Symposium of Formal Methods Europe. Maurice Naftalin ... (eds.)
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 1994
300 ## - Physische Beschreibung
Umfang XI, 723 S.
Andere physische Details graph. Darst.
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 873
500 ## - Allgemeine Fußnote
Allgemeine Fußnote Literaturang
580 ## - Fußnote zum Umfang der Verknüpfungseintragung
Fußnote zum Umfang der Verknüpfungseintragung FME '94: industrial benefit of formal methods
580 ## - Fußnote zum Umfang der Verknüpfungseintragung
Fußnote zum Umfang der Verknüpfungseintragung Naftalin, Maurice: FME '94: Industrial Benefit of Formal Methods
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
653 #0 - Indexierungsterm - Nicht normiert
Nicht-normierter Term Computer software
-- Development
-- Congresses
655 #7 - Indexierungsterm - Genre/Form
Genre/Form oder fokussierter Term Konferenzschrift
Chronologische Unterteilung 1994
Geografische Unterteilung Barcelona
IDN des Normdatensatzes oder Standardnummer (DE-588)1071861417
-- (DE-627)826484824
-- (DE-576)433375485
Quelle der Ansetzung oder des Terms gnd-content
655 #7 - Indexierungsterm - Genre/Form
Genre/Form oder fokussierter Term Konferenzschrift
Chronologische Unterteilung 1992
Geografische Unterteilung Barcelona
IDN des Normdatensatzes oder Standardnummer (DE-588)1071861417
-- (DE-627)826484824
-- (DE-576)433375485
Quelle der Ansetzung oder des Terms gnd-content
655 #7 - Indexierungsterm - Genre/Form
Genre/Form oder fokussierter Term Konferenzschrift
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)4126945-7
-- (DE-627)104636866
-- (DE-576)209589426
-- Systementwicklung
-- gnd
689 01 -
-- s
-- (DE-588)4333722-3
-- (DE-627)148061516
-- (DE-576)21134253X
-- Formale Methode
-- gnd
689 0# -
-- DE-101
689 10 -
-- s
-- (DE-588)4116522-6
-- (DE-627)104616369
-- (DE-576)209502258
-- Softwareentwicklung
-- gnd
689 11 -
-- s
-- (DE-588)4333722-3
-- (DE-627)148061516
-- (DE-576)21134253X
-- Formale Methode
-- gnd
689 1# -
-- DE-101
951 ## - EQUIVALENCE OR CROSS-REFERENCE--GEOGRAPHIC NAME/AREA NAME [OBSOLETE] [CAN/MARC only]
Geografischer Name BO
700 1# - Nebeneintragung - Personenname
Personenname Naftalin, Maurice
Funktionsbezeichnung Hrsg.
Code für Beziehungskennzeichnung edt
711 2# - Nebeneintragung - Kongressname
Kongress- oder Gebietskörperschaftsname als Eintragungselement FME
Zählung eines Teils/einer Abteilung/eines Kongresses 2
Datum des Kongresses oder der Vertragsunterzeichnung 1994
Ort des Kongresses Barcelona
IDN des Normdatensatzes oder Standardnummer (DE-588)2140024-6
-- (DE-627)171530470
-- (DE-576)194939367
Code für Beziehungskennzeichnung oth
Koha-Normdatenidentnummer 19196
775 0# - Andere Ausgabe
Haupteintragung Online-Ausg.: / FME '94: industrial benefit of formal methods
775 0# - Andere Ausgabe
Haupteintragung Online-Ausg.: / Naftalin, Maurice: FME '94: Industrial Benefit of Formal Methods
776 08 - Andere physische Form
Verweisungsphrase Online-Ausg.
Haupteintragung Naftalin, Maurice
Titel FME '94: Industrial Benefit of Formal Methods
Ort, Verlag und Erscheinungsjahr Berlin, Heidelberg : Springer Berlin Heidelberg, 1994
Physische Beschreibung Online-Ressource
Datensatzkontrollnummer (DE-627)1649311559
-- (DE-576)322907535
Internationale Standardbuchnummer 9783540490319
776 08 - Andere physische Form
Verweisungsphrase Online-Ausg.
Titel FME '94: industrial benefit of formal methods
Ort, Verlag und Erscheinungsjahr Berlin [u.a.] : Springer, 1994
Physische Beschreibung Online-Ressource (XI, 723 S.)
Datensatzkontrollnummer (DE-627)595124704
800 ## - Nebeneintragung unter dem Gesamttitel - Personenname
Bandnummer/Folgebezeichnung 87300
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 873
856 42 - Elektronische Adresse und Zugriff
URL <a href="https://swbplus.bsz-bw.de/bsz041968824cov.jpg">https://swbplus.bsz-bw.de/bsz041968824cov.jpg</a>
Kontaktstelle für Hilfe beim Zugriff V:DE-576
-- X:springer
Elektronisches Format image/jpeg
Zugriffszeiten 20150910142325
Spezifische Materialangaben Cover
856 42 - Elektronische Adresse und Zugriff
URL <a href="https://zbmath.org/?q=an:0802.00034">https://zbmath.org/?q=an:0802.00034</a>
Kontaktstelle für Hilfe beim Zugriff B:ZBM
Zugriffszeiten 2021-04-12
Verknüpfungstext Zentralblatt MATH
Spezifische Materialangaben Inhaltstext
889 ## -
-- (DE-627)164289542
889 ## -
-- (DE-627)272034118
935 ## -
-- mdedup
935 ## -
-- Blocktest
935 ## -
-- sf
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 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) ST 230
-- Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge
-- Monografien
-- Software und -entwicklung
-- Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge
-- (DE-627)1270877534
-- (DE-625)rvk/143617:
-- (DE-576)200877534
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 1994
-- Veranstaltungsjahr 1994
-- Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
-- Kongressberichte
-- Veranstaltungsjahr 1994
-- (DE-627)1271485842
-- (DE-625)rvk/143431:
-- (DE-576)201485842
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
942 ## - Zusätzliche Felder (Koha)
Koha-Medientyp Buch
Exemplare
Ausgeschieden Verloren Beschädigt Nicht entleihbar Sammlung Besitzstand/Homebranch/Heimatbibliothek Gebäude/Aufenthaltsbibliothek Aufstellungsort Erwerbungsdatum Inventarnummer Anzahl Ausleihen Signatur Barcode Letzte Aktivität Koha-Medientyp
        Campusbibliothek für Informatik und Mathematik (E2 3) HOMEBRANCH: Max-Planck-Institut für Informatik Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Series (GF) 22/04/2004 MPI-I-B-04135   LNCS 873 2000000007762 12/09/2023 Buch

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha