Verfügbarkeit: Programming languages and systems

Programming languages and systems: 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Thiemann, Peter 1964- (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin Springer [2016]
Schriftenreihe:	Lecture notes in computer science 9632 : Advanced research in computing and software science
Schlagworte:	Formale Methode Programmanalyse Programmverifikation Typsystem Programmiersprache Nebenläufigkeit Konferenzschrift
Beschreibung:	XIII, 806 Seiten Illustrationen
ISBN:	9783662494974

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV043509828
003	DE-604
005	20160414
007	t\|
008	160413s2016 xx a\|\|\| \|\|\|\| 10\|\|\| eng d
020			\|a 9783662494974 \|9 978-3-662-49497-4
035			\|a (OCoLC)936194498
035			\|a (DE-599)BVBBV043509828
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-83
082	0		\|a 004
245	1	0	\|a Programming languages and systems \|b 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings \|c Peter Thiemann (ed.)
264		1	\|a Berlin \|b Springer \|c [2016]
300			\|a XIII, 806 Seiten \|b Illustrationen
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 9632 \|a Advanced research in computing and software science
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmanalyse \|0 (DE-588)4175841-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Typsystem \|0 (DE-588)4625224-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmiersprache \|0 (DE-588)4047409-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	0	1	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	0	2	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|D s
689	0		\|8 1\p \|5 DE-604
689	1	0	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	1	1	\|a Typsystem \|0 (DE-588)4625224-1 \|D s
689	1	2	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|8 2\p \|5 DE-604
700	1		\|a Thiemann, Peter \|d 1964- \|0 (DE-588)141000813 \|4 edt
711	2		\|a ESOP \|n 25. \|d 2016 \|c Eindhoven \|0 (DE-588)1096357720 \|4 oth
711	2		\|a ETAPS \|n 19. \|d 2016 \|c Eindhoven \|0 (DE-588)1096357844 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-662-49498-1
830		0	\|a Lecture notes in computer science \|v 9632 : Advanced research in computing and software science \|w (DE-604)BV000000607 \|9 9632
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-028926047

Datensatz im Suchindex

_version_	1820875687094910976
adam_text
any_adam_object
author2	Thiemann, Peter 1964-
author2_role	edt
author2_variant	p t pt
author_GND	(DE-588)141000813
author_facet	Thiemann, Peter 1964-
building	Verbundindex
bvnumber	BV043509828
classification_rvk	SS 4800
ctrlnum	(OCoLC)936194498 (DE-599)BVBBV043509828
dewey-full	004
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004
dewey-search	004
dewey-sort	14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
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">BV043509828</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160414</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">160413s2016 xx a\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662494974</subfield><subfield code="9">978-3-662-49497-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)936194498</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043509828</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming languages and systems</subfield><subfield code="b">25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings</subfield><subfield code="c">Peter Thiemann (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 806 Seiten</subfield><subfield code="b">Illustrationen</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">9632</subfield><subfield code="a">Advanced research in computing and software science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Thiemann, Peter</subfield><subfield code="d">1964-</subfield><subfield code="0">(DE-588)141000813</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ESOP</subfield><subfield code="n">25.</subfield><subfield code="d">2016</subfield><subfield code="c">Eindhoven</subfield><subfield code="0">(DE-588)1096357720</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">19.</subfield><subfield code="d">2016</subfield><subfield code="c">Eindhoven</subfield><subfield code="0">(DE-588)1096357844</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-662-49498-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9632 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9632</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="883" ind1="1" ind2=" "><subfield code="8">2\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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028926047</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV043509828
illustrated	Illustrated
indexdate	2025-01-10T15:19:36Z
institution	BVB
institution_GND	(DE-588)1096357720 (DE-588)1096357844
isbn	9783662494974
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028926047
oclc_num	936194498
open_access_boolean
owner	DE-83
owner_facet	DE-83
physical	XIII, 806 Seiten Illustrationen
publishDate	2016
publishDateSearch	2016
publishDateSort	2016
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science Advanced research in computing and software science
spelling	Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Peter Thiemann (ed.) Berlin Springer [2016] XIII, 806 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 9632 Advanced research in computing and software science Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Typsystem (DE-588)4625224-1 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Programmverifikation (DE-588)4135576-3 s Programmanalyse (DE-588)4175841-9 s Nebenläufigkeit (DE-588)4115352-2 s 1\p DE-604 Programmiersprache (DE-588)4047409-4 s Typsystem (DE-588)4625224-1 s Formale Methode (DE-588)4333722-3 s 2\p DE-604 Thiemann, Peter 1964- (DE-588)141000813 edt ESOP 25. 2016 Eindhoven (DE-588)1096357720 oth ETAPS 19. 2016 Eindhoven (DE-588)1096357844 oth Erscheint auch als Online-Ausgabe 978-3-662-49498-1 Lecture notes in computer science 9632 : Advanced research in computing and software science (DE-604)BV000000607 9632 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Typsystem (DE-588)4625224-1 gnd Programmiersprache (DE-588)4047409-4 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4135576-3 (DE-588)4625224-1 (DE-588)4047409-4 (DE-588)4115352-2 (DE-588)1071861417
title	Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
title_auth	Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
title_exact_search	Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
title_full	Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Peter Thiemann (ed.)
title_fullStr	Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Peter Thiemann (ed.)
title_full_unstemmed	Programming languages and systems 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Peter Thiemann (ed.)
title_short	Programming languages and systems
title_sort	programming languages and systems 25th european symposium on programming esop 2016 held as part of the european joint conferences on theory and practice of software etaps 2016 eindhoven the netherlands april 2 8 2016 proceedings
title_sub	25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Typsystem (DE-588)4625224-1 gnd Programmiersprache (DE-588)4047409-4 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
topic_facet	Formale Methode Programmanalyse Programmverifikation Typsystem Programmiersprache Nebenläufigkeit Konferenzschrift
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT thiemannpeter programminglanguagesandsystems25theuropeansymposiumonprogrammingesop2016heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2016eindhoventhenetherlandsapril282016proceedings AT esopeindhoven programminglanguagesandsystems25theuropeansymposiumonprogrammingesop2016heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2016eindhoventhenetherlandsapril282016proceedings AT etapseindhoven programminglanguagesandsystems25theuropeansymposiumonprogrammingesop2016heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2016eindhoventhenetherlandsapril282016proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge