|
|
|
|
LEADER |
06662cam a2201153 4500 |
001 |
183-12087721X |
003 |
DE-627 |
005 |
20240416225402.0 |
007 |
tu |
008 |
930123s1993 gw ||||| 00| ||eng c |
010 |
|
|
|a 92042107
|
015 |
|
|
|a 93,N04,0393
|2 dnb
|
016 |
7 |
|
|a 930203631
|2 DE-101
|
020 |
|
|
|a 3540563792
|c : DM 72.00 ((Berlin ...)
|9 3-540-56379-2
|
020 |
|
|
|a 0387563792
|c ((New York ...)
|9 0-387-56379-2
|
035 |
|
|
|a (DE-627)12087721X
|
035 |
|
|
|a (DE-576)031781330
|
035 |
|
|
|a (DE-599)GBV12087721X
|
035 |
|
|
|a (OCoLC)831370302
|
035 |
|
|
|a (OCoLC)27106236
|
035 |
|
|
|a (ZBM)0825.00065
|
035 |
|
|
|a (ZBM)0825.00065
|
040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
041 |
|
|
|a eng
|
044 |
|
|
|c XA-DE
|c XD-US
|c XA-GB
|
050 |
|
0 |
|a QA76.9.A23
|
084 |
|
|
|a 28
|2 sdnb
|
084 |
|
|
|a SS 4800
|2 rvk
|0 (DE-625)rvk/143528:
|
084 |
|
|
|a ST 230
|2 rvk
|0 (DE-625)rvk/143617:
|
084 |
|
|
|a SS 1991
|2 rvk
|0 (DE-625)rvk/143428:
|
084 |
|
|
|a *00B25
|2 msc
|
084 |
|
|
|a 68-06
|2 msc
|
084 |
|
|
|a 54.52
|2 bkl
|
084 |
|
|
|a 54.53
|2 bkl
|
084 |
|
|
|a 54.51
|2 bkl
|
090 |
|
|
|a a
|
245 |
1 |
0 |
|a Recent trends in data type specification
|b 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers
|c M. Bidoit ... (eds.)
|
246 |
3 |
0 |
|a 8th Workshop on Specification of Abstract Data Types, 3rd COMPASS Workshop
|
246 |
3 |
0 |
|a COMPASS 91
|
264 |
|
1 |
|a Berlin
|a Heidelberg [u.a.]
|b Springer
|c 1993
|
300 |
|
|
|a X, 344 S.
|b graph. Darst.
|
336 |
|
|
|a Text
|b txt
|2 rdacontent
|
337 |
|
|
|a ohne Hilfsmittel zu benutzen
|b n
|2 rdamedia
|
338 |
|
|
|a Band
|b nc
|2 rdacarrier
|
490 |
1 |
|
|a Lecture notes in computer science
|v 655
|
500 |
|
|
|a Literaturangaben
|
583 |
1 |
|
|a Archivierung/Langzeitarchivierung gewährleistet
|f PEBW
|x XA-DE-BW
|2 pdager
|5 DE-31
|
650 |
|
0 |
|a Abstract data types (Computer science)
|v Congresses
|
650 |
|
0 |
|a Abstract data types (Computer science)
|x Congresses
|
655 |
|
7 |
|a Konferenzschrift
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
655 |
|
7 |
|a Konferenzschrift
|y 1991
|z Dourdan
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
689 |
0 |
0 |
|D s
|0 (DE-588)4120827-4
|0 (DE-627)105773670
|0 (DE-576)209538295
|a Abstrakter Datentyp
|2 gnd
|
689 |
0 |
1 |
|D s
|0 (DE-588)4139161-5
|0 (DE-627)105637424
|0 (DE-576)209692081
|a Spezifikation
|2 gnd
|
689 |
0 |
|
|5 (DE-627)
|
700 |
1 |
|
|a Bidoit, Michel
|e Hrsg.
|4 edt
|
710 |
2 |
|
|a Europäische Kommission
|b Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie
|b Working Group Comprehensive Algebraic Approach to System Specification and Development
|0 (DE-588)2114647-0
|0 (DE-627)101422113
|0 (DE-576)193631032
|4 oth
|
711 |
2 |
|
|a Workshop on Specification of Abstract Data Types
|n 8
|d 1991
|c Dourdan
|0 (DE-588)2126872-1
|0 (DE-627)121353435
|0 (DE-576)194326373
|4 oth
|
711 |
2 |
|
|a COMPASS
|n 3
|d 1991
|c Dourdan
|0 (DE-588)5313985-9
|0 (DE-627)265469910
|0 (DE-576)197511767
|4 oth
|
776 |
0 |
8 |
|i Online-Ausg.
|t Recent trends in data type specification
|d Berlin [u.a.] : Springer, 1993
|h Online-Ressource (X, 344 S.)
|w (DE-627)595126804
|w (DE-576)9595126802
|z 9783540475453
|
776 |
0 |
8 |
|i Erscheint auch als
|n Online-Ausgabe
|a Bidoit, Michel
|t Recent Trends in Data Type Specification
|d Berlin, Heidelberg : Springer Berlin Heidelberg, 1993
|h Online-Ressource
|w (DE-627)1649296924
|w (DE-576)322905303
|z 9783540475453
|
830 |
|
0 |
|a Lecture notes in computer science
|v 655
|9 655
|w (DE-627)129300152
|w (DE-576)014492687
|w (DE-600)121909-1
|x 0302-9743
|7 ns
|
856 |
4 |
2 |
|u https://zbmath.org/?q=an:0825.00065
|m B:ZBM
|v 2021-04-12
|x Verlag
|y Zentralblatt MATH
|3 Inhaltstext
|
912 |
|
|
|a SSG-OPC-mat
|
924 |
0 |
|
|a 024666351
|b DE-1a
|9 1a
|c GBV
|d c
|g 1 A 167930
|h 2
|
924 |
0 |
|
|a 100533965
|b DE-84
|9 84
|c GBV
|d c
|g 2715-0739
|
924 |
0 |
|
|a 165982535
|b DE-46
|9 46
|c GBV
|d c
|g 01.p.0592
|h Magazin
|
924 |
0 |
|
|a 087940892
|b DE-18
|9 18
|c GBV
|d c
|g X/12948: 655
|h SUB
|
924 |
0 |
|
|a 163041245
|b DE-830
|9 830
|c GBV
|d c
|g 2734-6080
|h 27
|
924 |
0 |
|
|a 321320735
|b DE-8
|9 8
|c GBV
|d d
|g LNCS;655 R-23870
|g 1. Obergeschoss
|h 8/60a
|
924 |
0 |
|
|a 1370732554
|b DE-104
|9 104
|c GBV
|g Ra 396 Bd 655
|
924 |
0 |
|
|a 150550693
|b DE-27
|9 27
|c GBV
|d c
|g INF:::LNCS:655:1993
|g 93 NA 4247/1
|h J 50
|
924 |
0 |
|
|a 122422376
|b DE-Ilm1
|9 Ilm 1
|c GBV
|d c
|g INF 1860
|h 93
|
924 |
0 |
|
|a 101446225
|b DE-7
|9 7
|c GBV
|d c
|g ZA 37158:655
|
924 |
0 |
|
|a 233574506
|b DE-28
|9 28
|c GBV
|d c
|g SS 4800-655
|g 93 A 8610
|h 28/BB1-MAG
|
924 |
0 |
|
|a 226116905
|b DE-Wim2
|9 Wim 2
|c GBV
|d c
|g 113 302
|g 113 302
|h Mag
|
924 |
0 |
|
|a 101456778
|b DE-89
|9 89
|c GBV
|d b
|g RN 2835(655)
|
924 |
0 |
|
|a 3162175186
|b DE-21-119
|9 21/119
|c BSZ
|d b
|g D.2.1
|
924 |
0 |
|
|a 3162175259
|b DE-25-91
|9 25/91
|c BSZ
|d c
|g Frei 91: CA/0.0/1-655
|
924 |
0 |
|
|a 3162175313
|b DE-14
|9 14
|c BSZ
|d c
|g 93 8 29050
|
924 |
0 |
|
|a 3162175410
|b DE-24
|9 24
|c BSZ
|d c
|g 43/5198
|
924 |
0 |
|
|a 3162175461
|b DE-180
|9 180
|c BSZ
|d d
|g 400 SS 4800-655
|h 400
|
924 |
0 |
|
|a 316217547X
|b DE-180
|9 180
|c BSZ
|d c
|g 93 A 1366
|h MAG07
|
924 |
0 |
|
|a 3162175577
|b DE-15
|9 15
|c BSZ
|d c
|
924 |
0 |
|
|a 3162175631
|b DE-93
|9 93
|c BSZ
|d c
|g 3H 1047-655
|
924 |
0 |
|
|a 3162175712
|b DE-31
|9 31
|c BSZ
|d c
|g 93 A 7411
|
924 |
0 |
|
|a 3162175755
|b DE-Ch1
|9 Ch 1
|c BSZ
|d c
|g SS 4800 655
|
924 |
0 |
|
|a 3162175917
|b DE-289
|9 289
|c BSZ
|d c
|g QAA 7/A1.655
|h O
|
924 |
0 |
|
|a 3162176018
|b DE-Sa18
|9 Sa 18
|c BSZ
|d b
|
924 |
0 |
|
|a 3988671665
|b DE-982
|9 982#
|c BSZ
|d d
|
935 |
|
|
|i sf
|
935 |
|
|
|i Blocktest
|
936 |
r |
v |
|a SS 4800
|b Lecture notes in computer science
|k Informatik
|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
|k Schriftenreihen (indiv. Sign.)
|k Lecture notes in computer science
|0 (DE-627)1271461242
|0 (DE-625)rvk/143528:
|0 (DE-576)201461242
|
936 |
r |
v |
|a ST 230
|b Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge
|k Informatik
|k Monografien
|k Software und -entwicklung
|k Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge
|0 (DE-627)1270877534
|0 (DE-625)rvk/143617:
|0 (DE-576)200877534
|
936 |
r |
v |
|a SS 1991
|b Veranstaltungsjahr 1991
|k Informatik
|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
|k Kongressberichte
|k Veranstaltungsjahr 1991
|0 (DE-627)127168652X
|0 (DE-625)rvk/143428:
|0 (DE-576)20168652X
|
936 |
b |
k |
|a 54.52
|j Software engineering
|0 (DE-627)106418882
|
936 |
b |
k |
|a 54.53
|j Programmiersprachen
|0 (DE-627)106418890
|
936 |
b |
k |
|a 54.51
|j Programmiermethodik
|0 (DE-627)106418122
|
951 |
|
|
|a BO
|
980 |
|
|
|a 12087721X
|b 183
|c sid-183-col-kxpbbi
|
SOLR
_version_ |
1799239802408665088 |
author2 |
Bidoit, Michel |
author2_role |
edt |
author2_variant |
m b mb |
author_corporate |
Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Working Group Comprehensive Algebraic Approach to System Specification and Development, Workshop on Specification of Abstract Data Types, COMPASS |
author_corporate_role |
oth, oth, oth |
author_facet |
Bidoit, Michel, Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Working Group Comprehensive Algebraic Approach to System Specification and Development, Workshop on Specification of Abstract Data Types, COMPASS |
building |
Library A |
callnumber-first |
Q - Science |
callnumber-label |
QA76 |
callnumber-raw |
QA76.9.A23, a |
callnumber-search |
QA76.9.A23, a |
callnumber-sort |
QA 276.9 A23 |
callnumber-subject |
QA - Mathematics |
collection |
SSG-OPC-mat, sid-183-col-kxpbbi |
ctrlnum |
(DE-627)12087721X, (DE-576)031781330, (DE-599)GBV12087721X, (OCoLC)831370302, (OCoLC)27106236, (ZBM)0825.00065 |
era_facet |
1991 |
facet_912a |
SSG-OPC-mat |
facet_avail |
Local |
facet_local_del330 |
Abstrakter Datentyp, Spezifikation |
finc_class_facet |
Informatik, Mathematik |
fincclass_txtF_mv |
science-computerscience |
footnote |
Literaturangaben |
format |
Book, ConferenceProceedings |
format_access_txtF_mv |
Book, E-Book |
format_de14 |
Book, E-Book |
format_de15 |
Book, E-Book |
format_del152 |
Buch |
format_detail_txtF_mv |
text-print-monograph-independent |
format_dezi4 |
e-Book |
format_finc |
Book, E-Book |
format_legacy |
Book |
format_legacy_nrw |
Book, E-Book |
format_nrw |
Book, E-Book |
format_strict_txtF_mv |
Book |
genre |
Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift 1991 Dourdan (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content |
genre_facet |
Congresses, Konferenzschrift |
geogr_code |
not assigned |
geogr_code_person |
not assigned |
geographic_facet |
Dourdan |
hierarchy_parent_id |
183-129300152 |
hierarchy_parent_title |
Lecture notes in computer science |
hierarchy_sequence |
655 |
hierarchy_top_id |
183-129300152 |
hierarchy_top_title |
Lecture notes in computer science |
id |
183-12087721X |
illustrated |
Not Illustrated |
imprint |
Berlin, Heidelberg [u.a.], Springer, 1993 |
imprint_str_mv |
Berlin; Heidelberg [u.a.]: Springer, 1993 |
institution |
FID-BBI-DE-23 |
is_hierarchy_id |
183-12087721X |
is_hierarchy_title |
Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers |
isbn |
3540563792, 0387563792 |
isbn_isn_mv |
9783540475453 |
issn_isn_mv |
0302-9743 |
language |
English |
last_indexed |
2024-05-16T19:46:27.965Z |
lccn |
92042107 |
marc_error |
[geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @4598ee71 |
match_str |
bidoit1993recenttrendsindatatypespecification8thworkshoponspecificationofabstractdatatypesjointwiththe3rdcompassworkshopdourdanfranceaugust26301991selectedpapers |
mega_collection |
K10plus Verbundkatalog |
multipart_link |
014492687 |
multipart_part |
(014492687)655 |
oclc_num |
831370302, 27106236 |
physical |
X, 344 S.; graph. Darst |
publishDate |
1993 |
publishDateSort |
1993 |
publishPlace |
Berlin |
publisher |
Springer |
record_format |
marcfinc |
record_id |
12087721X |
recordtype |
marcfinc |
rvk_facet |
SS 4800, ST 230, SS 1991 |
rvk_label |
Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science, Monografien, Software und -entwicklung, Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge, Kongressberichte, Veranstaltungsjahr 1991 |
rvk_path |
SS, ST, ST 230, SS 1991, SQ - SU, SS 4000 - SS 5999, SS 4800, SS 1800 - SS 2100, ST 230 - ST 285 |
rvk_path_str_mv |
SS, ST, ST 230, SS 1991, SQ - SU, SS 4000 - SS 5999, SS 4800, SS 1800 - SS 2100, ST 230 - ST 285 |
series |
Lecture notes in computer science, 655 |
series2 |
Lecture notes in computer science ; 655 |
source_id |
183 |
spelling |
Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers M. Bidoit ... (eds.), 8th Workshop on Specification of Abstract Data Types, 3rd COMPASS Workshop, COMPASS 91, Berlin Heidelberg [u.a.] Springer 1993, X, 344 S. graph. Darst., Text txt rdacontent, ohne Hilfsmittel zu benutzen n rdamedia, Band nc rdacarrier, Lecture notes in computer science 655, Literaturangaben, Archivierung/Langzeitarchivierung gewährleistet PEBW XA-DE-BW pdager DE-31, Abstract data types (Computer science) Congresses, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift 1991 Dourdan (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4120827-4 (DE-627)105773670 (DE-576)209538295 Abstrakter Datentyp gnd, s (DE-588)4139161-5 (DE-627)105637424 (DE-576)209692081 Spezifikation gnd, (DE-627), Bidoit, Michel Hrsg. edt, Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Working Group Comprehensive Algebraic Approach to System Specification and Development (DE-588)2114647-0 (DE-627)101422113 (DE-576)193631032 oth, Workshop on Specification of Abstract Data Types 8 1991 Dourdan (DE-588)2126872-1 (DE-627)121353435 (DE-576)194326373 oth, COMPASS 3 1991 Dourdan (DE-588)5313985-9 (DE-627)265469910 (DE-576)197511767 oth, Online-Ausg. Recent trends in data type specification Berlin [u.a.] : Springer, 1993 Online-Ressource (X, 344 S.) (DE-627)595126804 (DE-576)9595126802 9783540475453, Erscheint auch als Online-Ausgabe Bidoit, Michel Recent Trends in Data Type Specification Berlin, Heidelberg : Springer Berlin Heidelberg, 1993 Online-Ressource (DE-627)1649296924 (DE-576)322905303 9783540475453, Lecture notes in computer science 655 655 (DE-627)129300152 (DE-576)014492687 (DE-600)121909-1 0302-9743 ns, https://zbmath.org/?q=an:0825.00065 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext |
spellingShingle |
Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers, Lecture notes in computer science, 655, Abstract data types (Computer science) Congresses, Konferenzschrift, Konferenzschrift 1991 Dourdan, Abstrakter Datentyp, Spezifikation |
title |
Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers |
title_alt |
8th Workshop on Specification of Abstract Data Types, 3rd COMPASS Workshop, COMPASS 91 |
title_auth |
Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers |
title_full |
Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers M. Bidoit ... (eds.) |
title_fullStr |
Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers M. Bidoit ... (eds.) |
title_full_unstemmed |
Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers M. Bidoit ... (eds.) |
title_in_hierarchy |
655. Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers (1993) |
title_short |
Recent trends in data type specification |
title_sort |
recent trends in data type specification 8th workshop on specification of abstract data types joint with the 3rd compass workshop, dourdan, france, august 26 - 30, 1991 ; selected papers |
title_sub |
8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers |
title_unstemmed |
Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers |
topic |
Abstract data types (Computer science) Congresses, Konferenzschrift, Konferenzschrift 1991 Dourdan, Abstrakter Datentyp, Spezifikation |
topic_facet |
Abstract data types (Computer science), Congresses, Konferenzschrift, Abstrakter Datentyp, Spezifikation |
url |
https://zbmath.org/?q=an:0825.00065 |
work_keys_str_mv |
AT bidoitmichel recenttrendsindatatypespecification8thworkshoponspecificationofabstractdatatypesjointwiththe3rdcompassworkshopdourdanfranceaugust26301991selectedpapers, AT europaischekommissioneuropaischesstrategischesprogrammfurforschungundentwicklungaufdemgebietderinformationstechnologieworkinggroupcomprehensivealgebraicapproachtosystemspecificationanddevelopment recenttrendsindatatypespecification8thworkshoponspecificationofabstractdatatypesjointwiththe3rdcompassworkshopdourdanfranceaugust26301991selectedpapers, AT workshoponspecificationofabstractdatatypesdourdan recenttrendsindatatypespecification8thworkshoponspecificationofabstractdatatypesjointwiththe3rdcompassworkshopdourdanfranceaugust26301991selectedpapers, AT compassdourdan recenttrendsindatatypespecification8thworkshoponspecificationofabstractdatatypesjointwiththe3rdcompassworkshopdourdanfranceaugust26301991selectedpapers, AT bidoitmichel 8thworkshoponspecificationofabstractdatatypes3rdcompassworkshop, AT europaischekommissioneuropaischesstrategischesprogrammfurforschungundentwicklungaufdemgebietderinformationstechnologieworkinggroupcomprehensivealgebraicapproachtosystemspecificationanddevelopment 8thworkshoponspecificationofabstractdatatypes3rdcompassworkshop, AT workshoponspecificationofabstractdatatypesdourdan 8thworkshoponspecificationofabstractdatatypes3rdcompassworkshop, AT compassdourdan 8thworkshoponspecificationofabstractdatatypes3rdcompassworkshop, AT bidoitmichel compass91, AT europaischekommissioneuropaischesstrategischesprogrammfurforschungundentwicklungaufdemgebietderinformationstechnologieworkinggroupcomprehensivealgebraicapproachtosystemspecificationanddevelopment compass91, AT workshoponspecificationofabstractdatatypesdourdan compass91, AT compassdourdan compass91 |