Holdings: Programming languages and systems

Programming languages and systems: 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings

Saved in:

Bibliographic Details
Main Author:	Shan, Chung-chieh (Author)
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Cham [u.a.] Springer 2013
Series:	Lecture notes in computer science 8301
Subjects:	Formale Methode Programmierlogik Programmanalyse Programmverifikation Programmiersprache Konferenzschrift > 2013 > Melbourne
Online Access:	DE-634 DE-Aug4 DE-M347 DE-92 DE-859 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Inhaltsverzeichnis Abstract
Physical Description:	1 Online-Ressource (X, 380 S.) graph. Darst.
ISBN:	9783319035413 9783319035420
DOI:	10.1007/978-3-319-03542-0

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV041712479
003	DE-604
007	cr\|uuu---uuuuu
008	140228s2013 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783319035413 \|9 978-3-319-03541-3
020			\|a 9783319035420 \|c eISBN \|9 978-3-319-03542-0
024	7		\|a 10.1007/978-3-319-03542-0 \|2 doi
035			\|a (OCoLC)867052030
035			\|a (DE-599)BVBBV041712479
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-473 \|a DE-20 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-703 \|a DE-29 \|a DE-92 \|a DE-Aug4 \|a DE-859 \|a DE-634
084			\|a DAT 516f \|2 stub
084			\|a DAT 350f \|2 stub
100	1		\|a Shan, Chung-chieh \|e Verfasser \|4 aut
245	1	0	\|a Programming languages and systems \|b 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings \|c Chung-chieh Shan (ed.)
264		1	\|a Cham [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (X, 380 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 8301
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierlogik \|0 (DE-588)4047408-2 \|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 Programmiersprache \|0 (DE-588)4047409-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Melbourne \|2 gnd-content
689	0	0	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	1	1	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	1	2	\|a Programmierlogik \|0 (DE-588)4047408-2 \|D s
689	1		\|5 DE-604
711	2		\|a APLAS \|n 11. \|d 2013 \|c Melbourne \|j Sonstige \|0 (DE-588)1045737119 \|4 oth
830		0	\|a Lecture notes in computer science \|v 8301 \|w (DE-604)BV014880109 \|9 8301
856	4	0	\|u https://doi.org/10.1007/978-3-319-03542-0 \|x Verlag \|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=027159643&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=027159643&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027159643
966	e		\|u https://doi.org/10.1007/978-3-319-03542-0 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-03542-0 \|l DE-Aug4 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-03542-0 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-03542-0 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-03542-0 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-03542-0 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-03542-0 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-03542-0 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-03542-0 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-03542-0 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-03542-0 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-03542-0 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-03542-0 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1820875565515669504
adam_text	PROGRAMMING LANGUAGES AND SYSTEMS / : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS BRZOZOWSKI’S AND UP-TO ALGORITHMS FOR MUST TESTING PRACTICAL ALTERNATING PARITY TREE AUTOMATA MODEL CHECKING OF HIGHER-ORDER RECURSION SCHEMES MODEL CHECKING DYNAMIC PUSHDOWN NETWORKS ROBUSTNESS ANALYSIS OF FINITE PRECISION IMPLEMENTATIONS A HOARE LOGIC FOR SIMT PROGRAMS THE UNDEFINED DOMAIN: PRECISE RELATIONAL INFORMATION FOR ENTITIES THAT DO NOT EXIST SEPARATION LOGIC MODULO THEORIES.-BI-ABDUCTION WITH PURE PROPERTIES FOR SPECIFICATION INFERENCE LAWS OF PROGRAMMING FOR REFERENCES DYNAMIC ALIAS PROTECTION WITH ALIASING CONTRACTS FINE-GRAINED FUNCTION VISIBILITY FOR MULTIPLE DISPATCH WITH MULTIPLE INHERITANCE INTERNAL DEPLOYMENT OF THE PARFAIT STATIC CODE ANALYSIS TOOL AT ORACLE (INVITED TALK) SECURE COMPILATION OF OBJECT-ORIENTED COMPONENTS TO PROTECTED MODULE ARCHITECTURES GENERALIZED QUANTITATIVE ANALYSIS OF METRIC TRANSITION SYSTEMS GDSL: A UNIVERSAL TOOLKIT FOR GIVING SEMANTICS TO MACHINE LANGUAGE PARAGON FOR PRACTICAL PROGRAMMING WITH INFORMATION-FLOW CONTROL THIS JAVA: AN EXTENSION OF JAVA WITH EXACT TYPES SEMANTICS OF PROBABILISTIC PROGRAMS: A WEAK LIMIT APPROACH AMBIVALENT TYPES FOR PRINCIPAL TYPE INFERENCE WITH GADTS TEMPORAL SPECIFICATION MINING FOR ANOMALY ANALYSIS AUTOMATED INFERENCE OF LIBRARY SPECIFICATIONS FOR SOURCE-SINK PROPERTY VERIFICATION THE PROOF ASSISTANT AS AN INTEGRATED DEVELOPMENT ENVIRONMENT SORTING AND SEARCHING BY DISTRIBUTION: FROM GENERIC DISCRIMINATION TO GENERIC TRIES ENVIRONMENTAL BISIMULATIONS FOR DELIMITED-CONTROL OPERATORS ON BAR RECURSION AND CHOICE IN A CLASSICAL SETTING PROOFS, UPSIDE DOWN: A FUNCTIONAL CORRESPONDENCE BETWEEN NATURAL DEDUCTION AND THE SEQUENT CALCULUS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. PROGRAMMING LANGUAGES AND SYSTEMS / : 2013 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 11TH ASIAN SYMPOSIUM ON PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2013, HELD IN MELBOURNE, AUSTRALIA, IN DECEMBER 2013. THE 20 REGULAR PAPERS PRESENTED TOGETHER WITH THE ABSTRACTS OF 3 INVITED TALKS WERE CAREFULLY REVIEWED AND SELECTED FROM 57 SUBMISSIONS. THE PAPERS COVER A VARIETY OF FOUNDATIONAL AND PRACTICAL ISSUES IN PROGRAMMING LANGUAGES AND SYSTEMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author	Shan, Chung-chieh
author_facet	Shan, Chung-chieh
author_role	aut
author_sort	Shan, Chung-chieh
author_variant	c c s ccs
building	Verbundindex
bvnumber	BV041712479
classification_rvk	SS 4800
classification_tum	DAT 516f DAT 350f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)867052030 (DE-599)BVBBV041712479
discipline	Informatik
doi_str_mv	10.1007/978-3-319-03542-0
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">BV041712479</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140228s2013 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319035413</subfield><subfield code="9">978-3-319-03541-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319035420</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-319-03542-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-03542-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)867052030</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041712479</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="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Shan, Chung-chieh</subfield><subfield code="e">Verfasser</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">11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings</subfield><subfield code="c">Chung-chieh Shan (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 380 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">8301</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">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">2013</subfield><subfield code="z">Melbourne</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">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">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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="2"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">APLAS</subfield><subfield code="n">11.</subfield><subfield code="d">2013</subfield><subfield code="c">Melbourne</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1045737119</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">8301</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8301</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-03542-0</subfield><subfield code="x">Verlag</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=027159643&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=027159643&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-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027159643</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-03542-0</subfield><subfield code="l">DE-634</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-319-03542-0</subfield><subfield code="l">DE-Aug4</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-319-03542-0</subfield><subfield code="l">DE-M347</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-319-03542-0</subfield><subfield code="l">DE-92</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-319-03542-0</subfield><subfield code="l">DE-859</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-319-03542-0</subfield><subfield code="l">DE-91</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-319-03542-0</subfield><subfield code="l">DE-384</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-319-03542-0</subfield><subfield code="l">DE-473</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-319-03542-0</subfield><subfield code="l">DE-703</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-319-03542-0</subfield><subfield code="l">DE-20</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-319-03542-0</subfield><subfield code="l">DE-706</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-319-03542-0</subfield><subfield code="l">DE-29</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-319-03542-0</subfield><subfield code="l">DE-739</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 2013 Melbourne gnd-content
genre_facet	Konferenzschrift 2013 Melbourne
id	DE-604.BV041712479
illustrated	Illustrated
indexdate	2025-01-10T15:17:39Z
institution	BVB
institution_GND	(DE-588)1045737119
isbn	9783319035413 9783319035420
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027159643
oclc_num	867052030
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634
physical	1 Online-Ressource (X, 380 S.) graph. Darst.
psigel	ZDB-2-LNC
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Shan, Chung-chieh Verfasser aut Programming languages and systems 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings Chung-chieh Shan (ed.) Cham [u.a.] Springer 2013 1 Online-Ressource (X, 380 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8301 Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Melbourne gnd-content Programmiersprache (DE-588)4047409-4 s Formale Methode (DE-588)4333722-3 s DE-604 Programmanalyse (DE-588)4175841-9 s Programmverifikation (DE-588)4135576-3 s Programmierlogik (DE-588)4047408-2 s APLAS 11. 2013 Melbourne Sonstige (DE-588)1045737119 oth Lecture notes in computer science 8301 (DE-604)BV014880109 8301 https://doi.org/10.1007/978-3-319-03542-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027159643&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=027159643&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Shan, Chung-chieh Programming languages and systems 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmierlogik (DE-588)4047408-2 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Programmiersprache (DE-588)4047409-4 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4047408-2 (DE-588)4175841-9 (DE-588)4135576-3 (DE-588)4047409-4 (DE-588)1071861417
title	Programming languages and systems 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings
title_auth	Programming languages and systems 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings
title_exact_search	Programming languages and systems 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings
title_full	Programming languages and systems 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings Chung-chieh Shan (ed.)
title_fullStr	Programming languages and systems 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings Chung-chieh Shan (ed.)
title_full_unstemmed	Programming languages and systems 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings Chung-chieh Shan (ed.)
title_short	Programming languages and systems
title_sort	programming languages and systems 11th asian symposium aplas 2013 melbourne vic australia december 9 11 2013 proceedings
title_sub	11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Programmierlogik (DE-588)4047408-2 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Programmiersprache (DE-588)4047409-4 gnd
topic_facet	Formale Methode Programmierlogik Programmanalyse Programmverifikation Programmiersprache Konferenzschrift 2013 Melbourne
url	https://doi.org/10.1007/978-3-319-03542-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027159643&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=027159643&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT shanchungchieh programminglanguagesandsystems11thasiansymposiumaplas2013melbournevicaustraliadecember9112013proceedings AT aplasmelbourne programminglanguagesandsystems11thasiansymposiumaplas2013melbournevicaustraliadecember9112013proceedings

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