Verfügbarkeit: Formal aspects of component software

Formal aspects of component software: 10th international symposium, FACS 2013, Nanchang, China, October 27 - 29, 2013 ; Revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2014
Schriftenreihe:	Lecture notes in computer science 8348
Schlagworte:	Formale Methode Softwareentwicklung Komponente > Software Konferenzschrift > 2013 > Nanchang
Online-Zugang:	DE-634 DE-Aug4 DE-M347 DE-92 DE-859 DE-861 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Inhaltsverzeichnis Abstract
Beschreibung:	Literaturangaben
Beschreibung:	1 Online-Ressource (X, 383 S.) graph. Darst. 24 cm
ISBN:	9783319076010 9783319076027
DOI:	10.1007/978-3-319-07602-7

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV042023920
003	DE-604
005	20211014
007	cr\|uuu---uuuuu
008	140813s2014 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783319076010 \|c kart. : EUR 57.78 (DE) (freier Pr.), EUR 59.40 (AT) (freier Pr.), sfr 72.00 (freier Pr.) \|9 978-3-319-07601-0
020			\|a 9783319076027 \|c eISBN \|9 978-3-319-07602-7
024	7		\|a 10.1007/978-3-319-07602-7 \|2 doi
024	3		\|a 9783319076027
028	5	2	\|a Best.-Nr.: 86028235
035			\|a (OCoLC)889716779
035			\|a (DE-599)BVBBV042023920
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-861 \|a DE-634
082	0		\|a 005.11 \|2 22/ger
084			\|a DAT 510f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 310f \|2 stub
245	1	0	\|a Formal aspects of component software \|b 10th international symposium, FACS 2013, Nanchang, China, October 27 - 29, 2013 ; Revised selected papers \|c Josè Luíz Fiadeiro... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2014
300			\|a 1 Online-Ressource (X, 383 S.) \|b graph. Darst. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 8348
500			\|a Literaturangaben
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Komponente \|g Software \|0 (DE-588)4439521-8 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Nanchang \|2 gnd-content
689	0	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	1	\|a Komponente \|g Software \|0 (DE-588)4439521-8 \|D s
689	0	2	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
700	1		\|a Fiadeiro, José Luiz \|d 1961- \|e Sonstige \|0 (DE-588)121202070 \|4 oth
711	2		\|a FACS \|n 10. \|d 2013 \|c Nanchang \|j Sonstige \|0 (DE-588)1055023542 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|t Formal Aspects of Component Software
830		0	\|a Lecture notes in computer science \|v 8348 \|w (DE-604)BV014880109 \|9 8348
856	4	0	\|u https://doi.org/10.1007/978-3-319-07602-7 \|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=027465524&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=027465524&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-027465524
966	e		\|u https://doi.org/10.1007/978-3-319-07602-7 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-07602-7 \|l DE-Aug4 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-07602-7 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-07602-7 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-07602-7 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-07602-7 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-07602-7 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-07602-7 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-07602-7 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-07602-7 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-07602-7 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-07602-7 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-07602-7 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-07602-7 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875583556419584
adam_text	FORMAL ASPECTS OF COMPONENT SOFTWARE / : 2014 TABLE OF CONTENTS / INHALTSVERZEICHNIS PROBABILISTIC MODAL SPECIFICATIONS ORCHESTRATION SUPER-DENSE COMPUTATION IN VERIFICATION OF HYBRID CSP PROCESSES A PROOF-CARRYING CODE APPROACH TO CERTIFICATE AUCTION MECHANISMS TOWARDS VERIFICATION OF ENSEMBLE BASED COMPONENT SYSTEMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. FORMAL ASPECTS OF COMPONENT SOFTWARE / : 2014 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REVISED SELECTED PAPERS OF THE 10TH INTERNATIONAL SYMPOSIUM ON FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2013, HELD IN NANCHANG, CHINA, IN OCTOBER 2013. THE 19 FULL PAPERS AND THREE INVITED TALKS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 51 SUBMISSIONS. THE PAPERS ARE CONCERNED WITH HOW FORMAL METHODS CAN BE USED TO MAKE COMPONENT-BASED DEVELOPMENT FIT FOR THE NEW ARCHITECTURES OF TODAY AND THE SYSTEMS THAT ARE NOW PERVADING THE SOCIO-ECONOMIC WORLDS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author_GND	(DE-588)121202070
building	Verbundindex
bvnumber	BV042023920
classification_rvk	SS 4800
classification_tum	DAT 510f DAT 310f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)889716779 (DE-599)BVBBV042023920
dewey-full	005.11
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.11
dewey-search	005.11
dewey-sort	15.11
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-319-07602-7
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">BV042023920</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211014</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140813s2014 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319076010</subfield><subfield code="c">kart. : EUR 57.78 (DE) (freier Pr.), EUR 59.40 (AT) (freier Pr.), sfr 72.00 (freier Pr.)</subfield><subfield code="9">978-3-319-07601-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319076027</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-319-07602-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-07602-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783319076027</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86028235</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)889716779</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042023920</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-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.11</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal aspects of component software</subfield><subfield code="b">10th international symposium, FACS 2013, Nanchang, China, October 27 - 29, 2013 ; Revised selected papers</subfield><subfield code="c">Josè Luíz Fiadeiro... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 383 S.)</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">8348</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</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">Nanchang</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</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="700" ind1="1" ind2=" "><subfield code="a">Fiadeiro, José Luiz</subfield><subfield code="d">1961-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121202070</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FACS</subfield><subfield code="n">10.</subfield><subfield code="d">2013</subfield><subfield code="c">Nanchang</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1055023542</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="t">Formal Aspects of Component Software</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8348</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8348</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-07602-7</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=027465524&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=027465524&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-027465524</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-07602-7</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-07602-7</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-07602-7</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-07602-7</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-07602-7</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-07602-7</subfield><subfield code="l">DE-861</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-07602-7</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-07602-7</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-07602-7</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-07602-7</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-07602-7</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-07602-7</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-07602-7</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-07602-7</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 Nanchang gnd-content
genre_facet	Konferenzschrift 2013 Nanchang
id	DE-604.BV042023920
illustrated	Illustrated
indexdate	2025-01-10T15:17:56Z
institution	BVB
institution_GND	(DE-588)1055023542
isbn	9783319076010 9783319076027
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027465524
oclc_num	889716779
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-861 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-861 DE-634
physical	1 Online-Ressource (X, 383 S.) graph. Darst. 24 cm
psigel	ZDB-2-LNC
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal aspects of component software 10th international symposium, FACS 2013, Nanchang, China, October 27 - 29, 2013 ; Revised selected papers Josè Luíz Fiadeiro... (eds.) Berlin [u.a.] Springer 2014 1 Online-Ressource (X, 383 S.) graph. Darst. 24 cm txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8348 Literaturangaben Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Nanchang gnd-content Softwareentwicklung (DE-588)4116522-6 s Komponente Software (DE-588)4439521-8 s Formale Methode (DE-588)4333722-3 s DE-604 Fiadeiro, José Luiz 1961- Sonstige (DE-588)121202070 oth FACS 10. 2013 Nanchang Sonstige (DE-588)1055023542 oth Erscheint auch als Online-Ausgabe Formal Aspects of Component Software Lecture notes in computer science 8348 (DE-604)BV014880109 8348 https://doi.org/10.1007/978-3-319-07602-7 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027465524&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=027465524&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Formal aspects of component software 10th international symposium, FACS 2013, Nanchang, China, October 27 - 29, 2013 ; Revised selected papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4439521-8 (DE-588)1071861417
title	Formal aspects of component software 10th international symposium, FACS 2013, Nanchang, China, October 27 - 29, 2013 ; Revised selected papers
title_auth	Formal aspects of component software 10th international symposium, FACS 2013, Nanchang, China, October 27 - 29, 2013 ; Revised selected papers
title_exact_search	Formal aspects of component software 10th international symposium, FACS 2013, Nanchang, China, October 27 - 29, 2013 ; Revised selected papers
title_full	Formal aspects of component software 10th international symposium, FACS 2013, Nanchang, China, October 27 - 29, 2013 ; Revised selected papers Josè Luíz Fiadeiro... (eds.)
title_fullStr	Formal aspects of component software 10th international symposium, FACS 2013, Nanchang, China, October 27 - 29, 2013 ; Revised selected papers Josè Luíz Fiadeiro... (eds.)
title_full_unstemmed	Formal aspects of component software 10th international symposium, FACS 2013, Nanchang, China, October 27 - 29, 2013 ; Revised selected papers Josè Luíz Fiadeiro... (eds.)
title_short	Formal aspects of component software
title_sort	formal aspects of component software 10th international symposium facs 2013 nanchang china october 27 29 2013 revised selected papers
title_sub	10th international symposium, FACS 2013, Nanchang, China, October 27 - 29, 2013 ; Revised selected papers
topic	Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd
topic_facet	Formale Methode Softwareentwicklung Komponente Software Konferenzschrift 2013 Nanchang
url	https://doi.org/10.1007/978-3-319-07602-7 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027465524&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=027465524&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT fiadeirojoseluiz formalaspectsofcomponentsoftware10thinternationalsymposiumfacs2013nanchangchinaoctober27292013revisedselectedpapers AT facsnanchang formalaspectsofcomponentsoftware10thinternationalsymposiumfacs2013nanchangchinaoctober27292013revisedselectedpapers

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