Holdings: Recent trends in data type specification

Recent trends in data type specification: proceedings

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin u.a. Springer 1991
Series:	Lecture notes in computer science 534
Subjects:	Algebraische Spezifikation Abstrakter Datentyp Spezifikation Konferenzschrift > 1990 > Wusterhausen Dosse
Online Access:	Volltext
Physical Description:	1 Online-Ressource (VIII, 379 S. graph. Darst.)
ISBN:	3540544968 0387544968
DOI:	10.1007/3-540-54496-8

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV035774892
003	DE-604
005	20221215
007	cr\|uuu---uuuuu
008	091016s1991 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 3540544968 \|9 3-540-54496-8
020			\|a 0387544968 \|9 0-387-54496-8
024	7		\|a 10.1007/3-540-54496-8 \|2 doi
035			\|a (OCoLC)873613907
035			\|a (DE-599)BVBBV035774892
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-12 \|a DE-634 \|a DE-210 \|a DE-Aug4 \|a DE-M347 \|a DE-860 \|a DE-70 \|a DE-91 \|a DE-384 \|a DE-473 \|a DE-19 \|a DE-355 \|a DE-703 \|a DE-29 \|a DE-739 \|a DE-859 \|a DE-706 \|a DE-1046 \|a DE-526 \|a DE-521 \|a DE-573 \|a DE-523
084			\|a DAT 450f \|2 stub
084			\|a DAT 335f \|2 stub
245	1	0	\|a Recent trends in data type specification \|b proceedings \|c 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 - 20, 1990. H. Ehrig ... (ed.)
264		1	\|a Berlin u.a. \|b Springer \|c 1991
300			\|a 1 Online-Ressource (VIII, 379 S. \|b graph. Darst.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 534
650	0	7	\|a Algebraische Spezifikation \|0 (DE-588)4207192-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Abstrakter Datentyp \|0 (DE-588)4120827-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Spezifikation \|0 (DE-588)4139161-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1990 \|z Wusterhausen Dosse \|2 gnd-content
689	0	0	\|a Abstrakter Datentyp \|0 (DE-588)4120827-4 \|D s
689	0	1	\|a Algebraische Spezifikation \|0 (DE-588)4207192-6 \|D s
689	0		\|5 DE-604
689	1	0	\|a Abstrakter Datentyp \|0 (DE-588)4120827-4 \|D s
689	1	1	\|a Spezifikation \|0 (DE-588)4139161-5 \|D s
689	1		\|8 1\p \|5 DE-604
700	1		\|a Ehrig, Hartmut \|d 1944-2016 \|e Sonstige \|0 (DE-588)107905582 \|4 oth
711	2		\|a Workshop on Specification of Abstract Data Types \|n 7 \|d 1990 \|c Wusterhausen/Dosse \|j Sonstige \|0 (DE-588)2118459-8 \|4 oth
830		0	\|a Lecture notes in computer science \|v 534 \|w (DE-604)BV014880109 \|9 534
856	4	0	\|u https://doi.org/10.1007/3-540-54496-8 \|x Verlag \|3 Volltext
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
912			\|a ZDB-1-SLN
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-018634503

Record in the Search Index

_version_	1820875181084639232
adam_text
any_adam_object
author_GND	(DE-588)107905582
building	Verbundindex
bvnumber	BV035774892
classification_rvk	SS 4800
classification_tum	DAT 450f DAT 335f
collection	ZDB-1-SLN ZDB-2-LNC
ctrlnum	(OCoLC)873613907 (DE-599)BVBBV035774892
discipline	Informatik
doi_str_mv	10.1007/3-540-54496-8
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035774892</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221215</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">091016s1991 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540544968</subfield><subfield code="9">3-540-54496-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387544968</subfield><subfield code="9">0-387-54496-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-54496-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)873613907</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035774892</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 450f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recent trends in data type specification</subfield><subfield code="b">proceedings</subfield><subfield code="c">7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 - 20, 1990. H. Ehrig ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 379 S.</subfield><subfield code="b">graph. Darst.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">534</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakter Datentyp</subfield><subfield code="0">(DE-588)4120827-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1990</subfield><subfield code="z">Wusterhausen Dosse</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Abstrakter Datentyp</subfield><subfield code="0">(DE-588)4120827-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Abstrakter Datentyp</subfield><subfield code="0">(DE-588)4120827-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ehrig, Hartmut</subfield><subfield code="d">1944-2016</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)107905582</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Workshop on Specification of Abstract Data Types</subfield><subfield code="n">7</subfield><subfield code="d">1990</subfield><subfield code="c">Wusterhausen/Dosse</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2118459-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">534</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">534</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-54496-8</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-SLN</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018634503</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1990 Wusterhausen Dosse gnd-content
genre_facet	Konferenzschrift 1990 Wusterhausen Dosse
id	DE-604.BV035774892
illustrated	Illustrated
indexdate	2025-01-10T15:11:33Z
institution	BVB
institution_GND	(DE-588)2118459-8
isbn	3540544968 0387544968
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-018634503
oclc_num	873613907
open_access_boolean
owner	DE-12 DE-634 DE-210 DE-Aug4 DE-M347 DE-860 DE-70 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-29 DE-739 DE-859 DE-706 DE-1046 DE-526 DE-521 DE-573 DE-523
owner_facet	DE-12 DE-634 DE-210 DE-Aug4 DE-M347 DE-860 DE-70 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-29 DE-739 DE-859 DE-706 DE-1046 DE-526 DE-521 DE-573 DE-523
physical	1 Online-Ressource (VIII, 379 S. graph. Darst.)
psigel	ZDB-1-SLN ZDB-2-LNC
publishDate	1991
publishDateSearch	1991
publishDateSort	1991
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Recent trends in data type specification proceedings 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 - 20, 1990. H. Ehrig ... (ed.) Berlin u.a. Springer 1991 1 Online-Ressource (VIII, 379 S. graph. Darst.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 534 Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Abstrakter Datentyp (DE-588)4120827-4 gnd rswk-swf Spezifikation (DE-588)4139161-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1990 Wusterhausen Dosse gnd-content Abstrakter Datentyp (DE-588)4120827-4 s Algebraische Spezifikation (DE-588)4207192-6 s DE-604 Spezifikation (DE-588)4139161-5 s 1\p DE-604 Ehrig, Hartmut 1944-2016 Sonstige (DE-588)107905582 oth Workshop on Specification of Abstract Data Types 7 1990 Wusterhausen/Dosse Sonstige (DE-588)2118459-8 oth Lecture notes in computer science 534 (DE-604)BV014880109 534 https://doi.org/10.1007/3-540-54496-8 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Recent trends in data type specification proceedings Lecture notes in computer science Algebraische Spezifikation (DE-588)4207192-6 gnd Abstrakter Datentyp (DE-588)4120827-4 gnd Spezifikation (DE-588)4139161-5 gnd
subject_GND	(DE-588)4207192-6 (DE-588)4120827-4 (DE-588)4139161-5 (DE-588)1071861417
title	Recent trends in data type specification proceedings
title_auth	Recent trends in data type specification proceedings
title_exact_search	Recent trends in data type specification proceedings
title_full	Recent trends in data type specification proceedings 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 - 20, 1990. H. Ehrig ... (ed.)
title_fullStr	Recent trends in data type specification proceedings 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 - 20, 1990. H. Ehrig ... (ed.)
title_full_unstemmed	Recent trends in data type specification proceedings 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 - 20, 1990. H. Ehrig ... (ed.)
title_short	Recent trends in data type specification
title_sort	recent trends in data type specification proceedings
title_sub	proceedings
topic	Algebraische Spezifikation (DE-588)4207192-6 gnd Abstrakter Datentyp (DE-588)4120827-4 gnd Spezifikation (DE-588)4139161-5 gnd
topic_facet	Algebraische Spezifikation Abstrakter Datentyp Spezifikation Konferenzschrift 1990 Wusterhausen Dosse
url	https://doi.org/10.1007/3-540-54496-8
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT ehrighartmut recenttrendsindatatypespecificationproceedings AT workshoponspecificationofabstractdatatypeswusterhausendosse recenttrendsindatatypespecificationproceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items