Verfügbarkeit: Recent Trends in Data Type Specification

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 ; selected Papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 1995
Schriftenreihe:	Lecture notes in computer science 906
Schlagworte:	Abstract data types (Computer science) > Congresses Algebraische Spezifikation Abstrakter Datentyp Spezifikation Konferenzschrift > 1994 > Santa Margherita Ligure
Online-Zugang:	BSB01 BTU01 BTW01 DMM01 EUV01 FAW01 FHA01 FHI01 FHM01 FKE01 FLA01 HTW01 LCO01 TUM01 UBG01 UBM01 UBR01 UBT01 UBY01 UER01 UPA01 Volltext
Beschreibung:	1 Online-Ressource
ISBN:	9783540591320
DOI:	10.1007/BFb0014419

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV041964162
003	DE-604
005	20160517
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	140709s1995 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783540591320 \|c Online \|9 978-3-540-59132-0
024	7		\|a 10.1007/BFb0014419 \|2 doi
035			\|a (OCoLC)845515146
035			\|a (DE-599)BVBBV041964162
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-12 \|a DE-473 \|a DE-703 \|a DE-29 \|a DE-19 \|a DE-91 \|a DE-739 \|a DE-355 \|a DE-Aug4 \|a DE-860 \|a DE-M347 \|a DE-70 \|a DE-210 \|a DE-634 \|a DE-859 \|a DE-706 \|a DE-1046 \|a DE-526 \|a DE-521 \|a DE-573 \|a DE-523
050		0	\|a QA76.9.A23W67 1994
082	0		\|a 005.7/3 20
084			\|a SS 1994 \|0 (DE-625)143431: \|2 rvk
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a ST 265 \|0 (DE-625)143634: \|2 rvk
084			\|a DAT 335f \|2 stub
084			\|a DAT 373f \|2 stub
245	1	0	\|a Recent Trends in Data Type Specification \|b 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 ; selected Papers
264		1	\|a Berlin [u.a.] \|b Springer \|c 1995
300			\|a 1 Online-Ressource
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 906
650		4	\|a Abstract data types (Computer science) -- Congresses
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 1994 \|z Santa Margherita Ligure \|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		\|5 DE-604
700	1		\|a Astesiano, Egidio \|d 1939- \|e Sonstige \|0 (DE-588)11815351X \|4 oth
700	1		\|a Reggio, Gianna \|e Sonstige \|4 oth
700	1		\|a Tarlecki, Andrzej \|e Sonstige \|4 oth
711	2		\|a Workshop on Specification of Abstract Data Types \|n 10 \|d 1994 \|c Santa Margherita Ligure \|j Sonstige \|0 (DE-588)2144241-1 \|4 oth
711	2		\|a COMPASS Workshop \|n 5 \|d 1994 \|c Santa Margherita Ligure \|j Sonstige \|0 (DE-588)5226914-0 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-540-49198-9
830		0	\|a Lecture notes in computer science \|v 906 \|w (DE-604)BV014880109 \|9 906
856	4	0	\|u https://doi.org/10.1007/BFb0014419 \|x Verlag \|3 Volltext
912			\|a ZDB-1-SLN
999			\|a oai:aleph.bib-bvb.de:BVB01-027406945
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l BSB01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l BTU01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l BTW01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l DMM01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l EUV01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l FAW01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l FHA01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l FHI01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l FHM01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l FKE01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l FLA01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l HTW01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l LCO01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l TUM01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l UBG01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l UBM01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l UBR01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l UBT01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l UBY01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l UER01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0014419 \|l UPA01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804152353611317248
any_adam_object
author_GND	(DE-588)11815351X
building	Verbundindex
bvnumber	BV041964162
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.9.A23W67 1994
callnumber-search	QA76.9.A23W67 1994
callnumber-sort	QA 276.9 A23 W67 41994
callnumber-subject	QA - Mathematics
classification_rvk	SS 1994 SS 4800 ST 265
classification_tum	DAT 335f DAT 373f
collection	ZDB-1-SLN
ctrlnum	(OCoLC)845515146 (DE-599)BVBBV041964162
dewey-full	005.7/320
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.7/3 20
dewey-search	005.7/3 20
dewey-sort	15.7 13 220
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/BFb0014419
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04496nmm a2200853zcb4500</leader><controlfield tag="001">BV041964162</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160517 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140709s1995 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540591320</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-540-59132-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/BFb0014419</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845515146</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041964162</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-634</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="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A23W67 1994</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.7/3 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1994</subfield><subfield code="0">(DE-625)143431:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 265</subfield><subfield code="0">(DE-625)143634:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 373f</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">10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 ; selected Papers</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">906</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstract data types (Computer science) -- Congresses</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">1994</subfield><subfield code="z">Santa Margherita Ligure</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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Astesiano, Egidio</subfield><subfield code="d">1939-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)11815351X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Reggio, Gianna</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tarlecki, Andrzej</subfield><subfield code="e">Sonstige</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">10</subfield><subfield code="d">1994</subfield><subfield code="c">Santa Margherita Ligure</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2144241-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">COMPASS Workshop</subfield><subfield code="n">5</subfield><subfield code="d">1994</subfield><subfield code="c">Santa Margherita Ligure</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5226914-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-540-49198-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">906</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">906</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-SLN</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027406945</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">BTW01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">DMM01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">EUV01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">LCO01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0014419</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1994 Santa Margherita Ligure gnd-content
genre_facet	Konferenzschrift 1994 Santa Margherita Ligure
id	DE-604.BV041964162
illustrated	Not Illustrated
indexdate	2024-07-10T01:09:22Z
institution	BVB
institution_GND	(DE-588)2144241-1 (DE-588)5226914-0
isbn	9783540591320
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027406945
oclc_num	845515146
open_access_boolean
owner	DE-12 DE-473 DE-BY-UBG DE-703 DE-29 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-Aug4 DE-860 DE-M347 DE-70 DE-210 DE-634 DE-859 DE-706 DE-1046 DE-526 DE-521 DE-573 DE-523
owner_facet	DE-12 DE-473 DE-BY-UBG DE-703 DE-29 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-Aug4 DE-860 DE-M347 DE-70 DE-210 DE-634 DE-859 DE-706 DE-1046 DE-526 DE-521 DE-573 DE-523
physical	1 Online-Ressource
psigel	ZDB-1-SLN
publishDate	1995
publishDateSearch	1995
publishDateSort	1995
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 ; selected Papers Berlin [u.a.] Springer 1995 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 906 Abstract data types (Computer science) -- Congresses 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 1994 Santa Margherita Ligure gnd-content Abstrakter Datentyp (DE-588)4120827-4 s Algebraische Spezifikation (DE-588)4207192-6 s DE-604 Spezifikation (DE-588)4139161-5 s Astesiano, Egidio 1939- Sonstige (DE-588)11815351X oth Reggio, Gianna Sonstige oth Tarlecki, Andrzej Sonstige oth Workshop on Specification of Abstract Data Types 10 1994 Santa Margherita Ligure Sonstige (DE-588)2144241-1 oth COMPASS Workshop 5 1994 Santa Margherita Ligure Sonstige (DE-588)5226914-0 oth Erscheint auch als Druckausgabe 978-3-540-49198-9 Lecture notes in computer science 906 (DE-604)BV014880109 906 https://doi.org/10.1007/BFb0014419 Verlag Volltext
spellingShingle	Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 ; selected Papers Lecture notes in computer science Abstract data types (Computer science) -- Congresses 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 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 ; selected Papers
title_auth	Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 ; selected Papers
title_exact_search	Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 ; selected Papers
title_full	Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 ; selected Papers
title_fullStr	Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 ; selected Papers
title_full_unstemmed	Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 ; selected Papers
title_short	Recent Trends in Data Type Specification
title_sort	recent trends in data type specification 10th workshop on specification of abstract data types joint with the 5th compass workshop s margherita italy may 30 june 3 1994 selected papers
title_sub	10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 ; selected Papers
topic	Abstract data types (Computer science) -- Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd Abstrakter Datentyp (DE-588)4120827-4 gnd Spezifikation (DE-588)4139161-5 gnd
topic_facet	Abstract data types (Computer science) -- Congresses Algebraische Spezifikation Abstrakter Datentyp Spezifikation Konferenzschrift 1994 Santa Margherita Ligure
url	https://doi.org/10.1007/BFb0014419
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT astesianoegidio recenttrendsindatatypespecification10thworkshoponspecificationofabstractdatatypesjointwiththe5thcompassworkshopsmargheritaitalymay30june31994selectedpapers AT reggiogianna recenttrendsindatatypespecification10thworkshoponspecificationofabstractdatatypesjointwiththe5thcompassworkshopsmargheritaitalymay30june31994selectedpapers AT tarleckiandrzej recenttrendsindatatypespecification10thworkshoponspecificationofabstractdatatypesjointwiththe5thcompassworkshopsmargheritaitalymay30june31994selectedpapers AT workshoponspecificationofabstractdatatypessantamargheritaligure recenttrendsindatatypespecification10thworkshoponspecificationofabstractdatatypesjointwiththe5thcompassworkshopsmargheritaitalymay30june31994selectedpapers AT compassworkshopsantamargheritaligure recenttrendsindatatypespecification10thworkshoponspecificationofabstractdatatypesjointwiththe5thcompassworkshopsmargheritaitalymay30june31994selectedpapers

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge