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
Körperschaft:	ESOP Eindhoven (VerfasserIn)
Weitere Verfasser:	Thiemann, Peter 1964- (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin Springer [2016]
Schriftenreihe:	Lecture Notes in Computer Science 9632
Schlagworte:	Computer science Computer programming Software engineering Programming languages (Electronic computers) Computers Computer logic Computer Science Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Computation by Abstract Devices Programming Techniques Informatik Programmanalyse Nebenläufigkeit Programmiersprache Formale Methode Programmverifikation Typsystem Konferenzschrift Konferenzschrift > 02.04.2016-08.04.2016 > Eindhoven
Online-Zugang:	BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FRO01 HTW01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource XIII, 806 Seiten Illustrationen, Diagramme
ISBN:	9783662494981 9783662494974
ISSN:	0302-9743
DOI:	10.1007/978-3-662-49498-1

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV043503879
003	DE-604
005	20170419
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	160411s2016 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783662494981 \|c Online \|9 978-3-662-49498-1
020			\|a 9783662494974 \|c Print \|9 978-3-662-49497-4
024	7		\|a 10.1007/978-3-662-49498-1 \|2 doi
035			\|a (ZDB-2-SCS)978-3-662-49498-1
035			\|a (ZDB-2-LNC)978-3-662-49498-1
035			\|a (OCoLC)946153738
035			\|a (DE-599)BVBBV043503879
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|a DE-706 \|a DE-91 \|a DE-19 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-859 \|a DE-473 \|a DE-29 \|a DE-20 \|a DE-92 \|a DE-384 \|a DE-573 \|a DE-M347 \|a DE-703 \|a DE-739 \|a DE-634 \|a DE-523
082	0		\|a 005.13 \|2 23
084			\|a DAT 350f \|2 stub
084			\|a DAT 000 \|2 stub
111	2		\|a ESOP \|n 25. \|d 2016 \|c Eindhoven \|j Verfasser \|0 (DE-588)1096357720 \|4 aut
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 edited by Peter Thiemann
264		1	\|a Berlin \|b Springer \|c [2016]
264		4	\|c © 2016
300			\|a 1 Online-Ressource XIII, 806 Seiten \|b Illustrationen, Diagramme
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v Volume 9632 \|x 0302-9743
650		4	\|a Computer science
650		4	\|a Computer programming
650		4	\|a Software engineering
650		4	\|a Programming languages (Electronic computers)
650		4	\|a Computers
650		4	\|a Computer logic
650		4	\|a Computer Science
650		4	\|a Programming Languages, Compilers, Interpreters
650		4	\|a Logics and Meanings of Programs
650		4	\|a Software Engineering
650		4	\|a Computation by Abstract Devices
650		4	\|a Programming Techniques
650		4	\|a Informatik
650	0	7	\|a Programmanalyse \|0 (DE-588)4175841-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmiersprache \|0 (DE-588)4047409-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|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
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 02.04.2016-08.04.2016 \|z Eindhoven \|2 gnd-content
689	0	0	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	0	1	\|a Typsystem \|0 (DE-588)4625224-1 \|D s
689	0	2	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	1	1	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	1	2	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|D s
689	1		\|5 DE-604
700	1		\|a Thiemann, Peter \|d 1964- \|0 (DE-588)141000813 \|4 edt
830		0	\|a Lecture Notes in Computer Science \|v 9632 \|w (DE-604)BV014880109 \|9 9632
856	4	0	\|u https://doi.org/10.1007/978-3-662-49498-1 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920224&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920224&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS \|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2016
999			\|a oai:aleph.bib-bvb.de:BVB01-028920224
966	e		\|l BTU01 \|u https://doi.org/10.1007/978-3-662-49498-1 \|p ZDB-2-LNC \|q ZDB-2-LNC-2016 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l FHA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l FHI01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l FHM01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l FHN01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l FHR01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l FKE01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l FRO01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l HTW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l TUM01 \|p ZDB-2-LNC \|q ZDB-2-LNC_2016 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l UBA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l UBG01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l UBM01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l UBT01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l UBW01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|l UBY01 \|u https://doi.org/10.1007/978-3-662-49498-1 \|p ZDB-2-LNC \|q ZDB-2-LNC-2016 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l UER01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-49498-1 \|l UPA01 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804176140956336128
adam_text	PROGRAMMING LANGUAGES AND SYSTEMS / : 2016 TABLE OF CONTENTS / INHALTSVERZEICHNIS SIMULATING CITIES: A SOFTWARE ENGINEERING PERSPECTIVE REGULAR PROGRAMMING FOR QUANTITATIVE PROPERTIES OF DATA STREAMS FORMALIZING SINGLE-ASSIGNMENT PROGRAM VERIFICATION: AN ADAPTATIONCOMPLETE APPROACH PRACTICAL OPTIONAL TYPES FOR CLOJURE A TIMED PROCESS ALGEBRA FOR WIRELESS NETWORKS WITH AN APPLICATION IN ROUTING COMPUTING WITH SEMIRINGS AND WEAK RIG GROUPOIDS ON HIERARCHICAL COMMUNICATION TOPOLOGIES IN THE PI-CALCULUS MODULAR TERMINATION VERIFICATION FOR NON-BLOCKING CONCURRENCY CALL-BY-PUSH-VALUE FROM A LINEAR LOGIC POINT OF VIEW VISIBLE TYPE APPLICATION AUTOMATICALLY SPLITTING A TWO-STAGE LAMBDA CALCULUS PROBABILISTIC NETKAT.-COORDINATED CONCURRENT PROGRAMMING IN SYNDICATE AN APPLICATION OF COMPUTABLE DISTRIBUTIONS TO THE SEMANTICS OF PROBABILISTIC PROGRAMMING LANGUAGES WEAKEST PRECONDITION REASONING FOR EXPECTED RUN-TIMES OF PROBABILISTIC PROGRAMS IMPROVING FLOATING-POINT NUMBERS: A LAZY APPROACH TO ADAPTIVE ACCURACY REFINEMENT FOR NUMERICAL COMPUTATIONS NEEDLE & KNOT: BINDER BOILERPLATE TIED UP ON THE RELATIVE EXPRESSIVENESS OF HIGHER-ORDER SESSION PROCESSES A REALIZABILITY MODEL FOR A SEMANTICAL VALUE RESTRICTION PROBABILISTIC FUNCTIONS AND CRYPTOGRAPHIC ORACLES IN HIGHER ORDER LOGIC EXTENSIBLE AND EFFICIENT AUTOMATION THROUGH REFLECTIVE TACTICS AN ALGORITHM INSPIRED BY CONSTRAINT SOLVERS TO INFER INDUCTIVE INVARIANTS IN NUMERIC PROGRAMS FUNCTIONAL BIG-STEP SEMANTICS CLASSICAL BY-NEED MACROFICATION: REFACTORING BY REVERSE MACRO EXPANSION TYPE ERROR DIAGNOSIS FOR EMBEDDED DSLS BY TWO-STAGE SPECIALIZED TYPE RULES ACTOR SERVICES: MODULAR VERIFICATION OF MESSAGE PASSING PROGRAMS TRANSFINITE STEP-INDEXING: DECOUPLING CONCRETE AND LOGICAL STEPS A HIGHER-ORDER ABSTRACT SYNTAX APPROACH TO VERIFIED TRANSFORMATIONS ON FUNCTIONAL PROGRAMS THE EXPRESSIVE POWER OF MONOTONIC PARALLEL COMPOSITION DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. PROGRAMMING LANGUAGES AND SYSTEMS / : 2016 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 25TH EUROPEAN SYMPOSIUM ON PROGRAMMING, ESOP 2016, WHICH TOOK PLACE IN EINDHOVEN, THE NETHERLANDS, IN APRIL 2016, HELD AS PART OF THE EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE, ETAPS 2016. THE 29 PAPERS PRESENTED IN THIS VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM 98 SUBMISSIONS. BEING DEVOTED TO FUNDAMENTAL ISSUES IN THE SPECIFICATION, DESIGN, ANALYSIS, AND IMPLEMENTATION OF PROGRAMMING LANGUAGES AND SYSTEMS, ESOP FEATURES CONTRIBUTIONS ON ALL ASPECTS OF PROGRAMMING LANGUAGE RESEARCH; THEORETICAL AND/OR PRACTICAL ADVANCES. DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author2	Thiemann, Peter 1964-
author2_role	edt
author2_variant	p t pt
author_GND	(DE-588)141000813
author_corporate	ESOP Eindhoven
author_corporate_role	aut
author_facet	Thiemann, Peter 1964- ESOP Eindhoven
author_sort	ESOP Eindhoven
building	Verbundindex
bvnumber	BV043503879
classification_tum	DAT 350f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(ZDB-2-SCS)978-3-662-49498-1 (ZDB-2-LNC)978-3-662-49498-1 (OCoLC)946153738 (DE-599)BVBBV043503879
dewey-full	005.13
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.13
dewey-search	005.13
dewey-sort	15.13
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-662-49498-1
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05674nmm a2201033zcb4500</leader><controlfield tag="001">BV043503879</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170419 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">160411s2016 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662494981</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-49498-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662494974</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-662-49497-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-49498-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-3-662-49498-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)978-3-662-49498-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)946153738</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043503879</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-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" 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="j">Verfasser</subfield><subfield code="0">(DE-588)1096357720</subfield><subfield code="4">aut</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">edited by Peter Thiemann</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="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource XIII, 806 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">Volume 9632</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">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="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">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">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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">02.04.2016-08.04.2016</subfield><subfield code="z">Eindhoven</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" 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="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" 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="1" ind2=" "><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="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9632</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9632</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-49498-1</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920224&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920224&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028920224</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="l">BTU01</subfield><subfield code="u">https://doi.org/10.1007/978-3-662-49498-1</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC-2016</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/978-3-662-49498-1</subfield><subfield code="l">FHA01</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/978-3-662-49498-1</subfield><subfield code="l">FHI01</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/978-3-662-49498-1</subfield><subfield code="l">FHM01</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/978-3-662-49498-1</subfield><subfield code="l">FHN01</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/978-3-662-49498-1</subfield><subfield code="l">FHR01</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/978-3-662-49498-1</subfield><subfield code="l">FKE01</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/978-3-662-49498-1</subfield><subfield code="l">FRO01</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/978-3-662-49498-1</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SCS</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/978-3-662-49498-1</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</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/978-3-662-49498-1</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/978-3-662-49498-1</subfield><subfield code="l">UBG01</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/978-3-662-49498-1</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/978-3-662-49498-1</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</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/978-3-662-49498-1</subfield><subfield code="l">UBT01</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/978-3-662-49498-1</subfield><subfield code="l">UBW01</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="l">UBY01</subfield><subfield code="u">https://doi.org/10.1007/978-3-662-49498-1</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC-2016</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/978-3-662-49498-1</subfield><subfield code="l">UER01</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/978-3-662-49498-1</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 gnd-content (DE-588)1071861417 Konferenzschrift 02.04.2016-08.04.2016 Eindhoven gnd-content
genre_facet	Konferenzschrift Konferenzschrift 02.04.2016-08.04.2016 Eindhoven
id	DE-604.BV043503879
illustrated	Not Illustrated
indexdate	2024-07-10T07:27:27Z
institution	BVB
institution_GND	(DE-588)1096357720
isbn	9783662494981 9783662494974
issn	0302-9743
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028920224
oclc_num	946153738
open_access_boolean
owner	DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-523
owner_facet	DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-523
physical	1 Online-Ressource XIII, 806 Seiten Illustrationen, Diagramme
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2016 ZDB-2-LNC ZDB-2-LNC-2016 ZDB-2-LNC ZDB-2-LNC_2016
publishDate	2016
publishDateSearch	2016
publishDateSort	2016
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	ESOP 25. 2016 Eindhoven Verfasser (DE-588)1096357720 aut 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 edited by Peter Thiemann Berlin Springer [2016] © 2016 1 Online-Ressource XIII, 806 Seiten Illustrationen, Diagramme txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science Volume 9632 0302-9743 Computer science Computer programming Software engineering Programming languages (Electronic computers) Computers Computer logic Computer Science Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Computation by Abstract Devices Programming Techniques Informatik Programmanalyse (DE-588)4175841-9 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Typsystem (DE-588)4625224-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content (DE-588)1071861417 Konferenzschrift 02.04.2016-08.04.2016 Eindhoven gnd-content Programmiersprache (DE-588)4047409-4 s Typsystem (DE-588)4625224-1 s Formale Methode (DE-588)4333722-3 s DE-604 Programmverifikation (DE-588)4135576-3 s Programmanalyse (DE-588)4175841-9 s Nebenläufigkeit (DE-588)4115352-2 s Thiemann, Peter 1964- (DE-588)141000813 edt Lecture Notes in Computer Science 9632 (DE-604)BV014880109 9632 https://doi.org/10.1007/978-3-662-49498-1 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920224&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920224&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
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 Computer science Computer programming Software engineering Programming languages (Electronic computers) Computers Computer logic Computer Science Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Computation by Abstract Devices Programming Techniques Informatik Programmanalyse (DE-588)4175841-9 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Programmiersprache (DE-588)4047409-4 gnd Formale Methode (DE-588)4333722-3 gnd Programmverifikation (DE-588)4135576-3 gnd Typsystem (DE-588)4625224-1 gnd
subject_GND	(DE-588)4175841-9 (DE-588)4115352-2 (DE-588)4047409-4 (DE-588)4333722-3 (DE-588)4135576-3 (DE-588)4625224-1 (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 edited by Peter Thiemann
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 edited by Peter Thiemann
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 edited by Peter Thiemann
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	Computer science Computer programming Software engineering Programming languages (Electronic computers) Computers Computer logic Computer Science Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Computation by Abstract Devices Programming Techniques Informatik Programmanalyse (DE-588)4175841-9 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Programmiersprache (DE-588)4047409-4 gnd Formale Methode (DE-588)4333722-3 gnd Programmverifikation (DE-588)4135576-3 gnd Typsystem (DE-588)4625224-1 gnd
topic_facet	Computer science Computer programming Software engineering Programming languages (Electronic computers) Computers Computer logic Computer Science Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Computation by Abstract Devices Programming Techniques Informatik Programmanalyse Nebenläufigkeit Programmiersprache Formale Methode Programmverifikation Typsystem Konferenzschrift Konferenzschrift 02.04.2016-08.04.2016 Eindhoven
url	https://doi.org/10.1007/978-3-662-49498-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920224&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920224&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT esopeindhoven programminglanguagesandsystems25theuropeansymposiumonprogrammingesop2016heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2016eindhoventhenetherlandsapril282016proceedings AT thiemannpeter programminglanguagesandsystems25theuropeansymposiumonprogrammingesop2016heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2016eindhoventhenetherlandsapril282016proceedings

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