Verfügbarkeit: Recent trends in algebraic development techniques

Recent trends in algebraic development techniques: 15th international workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001 ; selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001
Schriftenreihe:	Lecture notes in computer science 2267
Schlagworte:	Algebraische Spezifikation Konferenzschrift > 2001 > Genua
Online-Zugang:	TUM01 UBA01 UBM01 UPA01 Volltext
Beschreibung:	Literaturangaben
Beschreibung:	1 Online-Ressource (X, 343 S.)
ISBN:	3540431594 3540456457
DOI:	10.1007/3-540-45645-7

Internformat

MARC


LEADER	00000nmm a22000008cb4500
001	BV035237443
003	DE-604
005	00000000000000.0
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	090109s2001 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 3540431594 \|9 3-540-43159-4
020			\|a 3540456457 \|c Online \|9 3-540-45645-7
024	7		\|a 10.1007/3-540-45645-7 \|2 doi
035			\|a (OCoLC)699830195
035			\|a (DE-599)BVBBV035237443
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-19 \|a DE-91 \|a DE-739 \|a DE-384
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 510f \|2 stub
245	1	0	\|a Recent trends in algebraic development techniques \|b 15th international workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001 ; selected papers \|c Maura Cerioli ; Gianna Reggio (ed.)
264		1	\|a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London \|b Springer \|c 2001
300			\|a 1 Online-Ressource (X, 343 S.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 2267
500			\|a Literaturangaben
650	0	7	\|a Algebraische Spezifikation \|0 (DE-588)4207192-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2001 \|z Genua \|2 gnd-content
689	0	0	\|a Algebraische Spezifikation \|0 (DE-588)4207192-6 \|D s
689	0		\|5 DE-604
700	1		\|a Cerioli, Maura \|e Sonstige \|4 oth
711	2		\|a WADT \|n 15 \|d 2001 \|c Genua \|j Sonstige \|0 (DE-588)10031980-4 \|4 oth
830		0	\|a Lecture notes in computer science \|v 2267 \|w (DE-604)BV014880109 \|9 2267
856	4	0	\|u https://doi.org/10.1007/3-540-45645-7 \|x Verlag \|3 Volltext
912			\|a ZDB-2-LNC
999			\|a oai:aleph.bib-bvb.de:BVB01-017043283
966	e		\|u https://doi.org/10.1007/3-540-45645-7 \|l TUM01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-45645-7 \|l UBA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-45645-7 \|l UBM01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-45645-7 \|l UPA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804138508163481600
any_adam_object
building	Verbundindex
bvnumber	BV035237443
classification_rvk	SS 4800
classification_tum	DAT 510f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)699830195 (DE-599)BVBBV035237443
discipline	Informatik
doi_str_mv	10.1007/3-540-45645-7
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02123nmm a22004938cb4500</leader><controlfield tag="001">BV035237443</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">090109s2001 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540431594</subfield><subfield code="9">3-540-43159-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540456457</subfield><subfield code="c">Online</subfield><subfield code="9">3-540-45645-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-45645-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699830195</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035237443</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-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</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">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recent trends in algebraic development techniques</subfield><subfield code="b">15th international workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001 ; selected papers</subfield><subfield code="c">Maura Cerioli ; Gianna Reggio (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 343 S.)</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">2267</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2001</subfield><subfield code="z">Genua</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="700" ind1="1" ind2=" "><subfield code="a">Cerioli, Maura</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">WADT</subfield><subfield code="n">15</subfield><subfield code="d">2001</subfield><subfield code="c">Genua</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10031980-4</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">2267</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">2267</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-45645-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017043283</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-45645-7</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</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/3-540-45645-7</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-LNC</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/3-540-45645-7</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-LNC</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/3-540-45645-7</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2001 Genua gnd-content
genre_facet	Konferenzschrift 2001 Genua
id	DE-604.BV035237443
illustrated	Not Illustrated
indexdate	2024-07-09T21:29:18Z
institution	BVB
institution_GND	(DE-588)10031980-4
isbn	3540431594 3540456457
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-017043283
oclc_num	699830195
open_access_boolean
owner	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
owner_facet	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
physical	1 Online-Ressource (X, 343 S.)
psigel	ZDB-2-LNC
publishDate	2001
publishDateSearch	2001
publishDateSort	2001
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Recent trends in algebraic development techniques 15th international workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001 ; selected papers Maura Cerioli ; Gianna Reggio (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001 1 Online-Ressource (X, 343 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 2267 Literaturangaben Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Genua gnd-content Algebraische Spezifikation (DE-588)4207192-6 s DE-604 Cerioli, Maura Sonstige oth WADT 15 2001 Genua Sonstige (DE-588)10031980-4 oth Lecture notes in computer science 2267 (DE-604)BV014880109 2267 https://doi.org/10.1007/3-540-45645-7 Verlag Volltext
spellingShingle	Recent trends in algebraic development techniques 15th international workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001 ; selected papers Lecture notes in computer science Algebraische Spezifikation (DE-588)4207192-6 gnd
subject_GND	(DE-588)4207192-6 (DE-588)1071861417
title	Recent trends in algebraic development techniques 15th international workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001 ; selected papers
title_auth	Recent trends in algebraic development techniques 15th international workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001 ; selected papers
title_exact_search	Recent trends in algebraic development techniques 15th international workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001 ; selected papers
title_full	Recent trends in algebraic development techniques 15th international workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001 ; selected papers Maura Cerioli ; Gianna Reggio (ed.)
title_fullStr	Recent trends in algebraic development techniques 15th international workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001 ; selected papers Maura Cerioli ; Gianna Reggio (ed.)
title_full_unstemmed	Recent trends in algebraic development techniques 15th international workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001 ; selected papers Maura Cerioli ; Gianna Reggio (ed.)
title_short	Recent trends in algebraic development techniques
title_sort	recent trends in algebraic development techniques 15th international workshop wadt 2001 joint with the cofi wg meeting genova italy april 1 3 2001 selected papers
title_sub	15th international workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001 ; selected papers
topic	Algebraische Spezifikation (DE-588)4207192-6 gnd
topic_facet	Algebraische Spezifikation Konferenzschrift 2001 Genua
url	https://doi.org/10.1007/3-540-45645-7
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT ceriolimaura recenttrendsinalgebraicdevelopmenttechniques15thinternationalworkshopwadt2001jointwiththecofiwgmeetinggenovaitalyapril132001selectedpapers AT wadtgenua recenttrendsinalgebraicdevelopmenttechniques15thinternationalworkshopwadt2001jointwiththecofiwgmeetinggenovaitalyapril132001selectedpapers

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