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...

Bibliographische Detailangaben

Titel
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
verantwortlich
Bidoit, Michel (HerausgeberIn); 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 (Sonstige); Workshop on Specification of Abstract Data Types (Sonstige); COMPASS (Sonstige)
Schriftenreihe
Lecture notes in computer science ; 655
veröffentlicht
Berlin, Heidelberg [u.a.]: Springer, 1993
Erscheinungsjahr
1993
Teil von
Lecture notes in computer science ; 655
Erscheint auch als
Bidoit, Michel, Recent Trends in Data Type Specification, Berlin, Heidelberg : Springer Berlin Heidelberg, 1993, Online-Ressource
Online-Ausg.
Recent trends in data type specification, Berlin [u.a.] : Springer, 1993, Online-Ressource (X, 344 S.)
Medientyp
Buch Konferenzbericht
Datenquelle
K10plus Verbundkatalog
Tags
Tag hinzufügen
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 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fkatalog.fid-bbi.de%3Agenerator&rft.title=Recent+trends+in+data+type+specification%3A+8th+Workshop+on+Specification+of+Abstract+Data+Types+joint+with+the+3rd+COMPASS+Workshop%2C+Dourdan%2C+France%2C+August+26+-+30%2C+1991+%3B+selected+papers&rft.date=1993&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Recent+trends+in+data+type+specification%3A+8th+Workshop+on+Specification+of+Abstract+Data+Types+joint+with+the+3rd+COMPASS+Workshop%2C+Dourdan%2C+France%2C+August+26+-+30%2C+1991+%3B+selected+papers&rft.series=Lecture+notes+in+computer+science%2C+655&rft.au=&rft.pub=Springer&rft.edition=&rft.isbn=3540563792
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