Verfügbarkeit: Integrated formal methods

Integrated formal methods: 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham [u.a.] Springer 2014
Schriftenreihe:	Lecture notes in computer science 8739
Schlagworte:	Formale Methode Softwareentwicklung Systementwicklung Verifikation Spezifikationssprache Konferenzschrift > 2014 > Bertinoro
Online-Zugang:	DE-634 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:	1 Online-Ressource (XI, 390 S.) graph. Darst.
ISBN:	9783319101804 9783319101811
DOI:	10.1007/978-3-319-10181-1

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV042166415
003	DE-604
007	cr\|uuu---uuuuu
008	141104s2014 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783319101804 \|9 978-3-319-10180-4
020			\|a 9783319101811 \|c eISBN \|9 978-3-319-10181-1
024	7		\|a 10.1007/978-3-319-10181-1 \|2 doi
035			\|a (OCoLC)890061496
035			\|a (DE-599)BVBBV042166415
040			\|a DE-604 \|b ger \|e rakwb
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-859 \|a DE-861 \|a DE-634
082	0		\|a 004
084			\|a DAT 310f \|2 stub
245	1	0	\|a Integrated formal methods \|b 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings \|c Elvira Albert ... (eds.)
264		1	\|a Cham [u.a.] \|b Springer \|c 2014
300			\|a 1 Online-Ressource (XI, 390 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 8739
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 Systementwicklung \|0 (DE-588)4126945-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Spezifikationssprache \|0 (DE-588)4182217-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2014 \|z Bertinoro \|2 gnd-content
689	0	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Systementwicklung \|0 (DE-588)4126945-7 \|D s
689	1	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|5 DE-604
689	2	0	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	2	1	\|a Spezifikationssprache \|0 (DE-588)4182217-1 \|D s
689	2	2	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	2		\|5 DE-604
700	1		\|a Albert, Elvira \|e Sonstige \|0 (DE-588)1036116271 \|4 oth
711	2		\|a IFM \|n 11. \|d 2014 \|c Bertinoro \|j Sonstige \|0 (DE-588)1058839926 \|4 oth
830		0	\|a Lecture notes in computer science \|v 8739 \|w (DE-604)BV014880109 \|9 8739
856	4	0	\|u https://doi.org/10.1007/978-3-319-10181-1 \|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=027605936&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=027605936&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-027605936
966	e		\|u https://doi.org/10.1007/978-3-319-10181-1 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-10181-1 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-10181-1 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-10181-1 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-10181-1 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-10181-1 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-10181-1 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-10181-1 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-10181-1 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-10181-1 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-10181-1 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-10181-1 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-10181-1 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875628346343424
adam_text	INTEGRATED FORMAL METHODS / : 2014 TABLE OF CONTENTS / INHALTSVERZEICHNIS SHAPE AND CONTENT: A DATABASE-THEORETIC PERSPECTIVE ON THE ANALYSIS OF DATA STRUCTURES HOW TO BREAK THE BANK: SEMANTICS OF CAPABILITY POLICIES MODEL-CHECKING CIRCUS STATE-RICH SPECIFICATIONS AN INTERACTIVE VERIFICATION TOOL MEETS AN IDE AN ANALYSIS PATHWAY FOR THE QUANTITATIVE EVALUATION OF PUBLIC TRANSPORT SYSTEMS MODELING UML TEMPLATE CLASSES WITH FOCALIZE INTEGRATING EVENT-B MODELLING AND DISCRETE-EVENT SIMULATION TO ANALYSE RESILIENCE OF DATA STORES IN THE CLOUD APPLYING AN INTEGRATED MODELLING PROCESS TO RUN-TIME MANAGEMENT OF MANY-CORE SYSTEMS VERIFYING BEHAVIORAL UML SYSTEMS VIA CEGAR FORMAL REFINEMENT IN SYSML VERIFYING MODAL WORKFLOW SPECIFICATIONS USING CONSTRAINT SOLVING.-PROOFS AND REFUTATIONS IN INVARIANT-BASED PROGRAMMING AUTOMATED THEOREM PROVER ASSISTED PROGRAM CALCULATIONS MANAGING LTL PROPERTIES IN EVENT-B REFINEMENT FORMAL SECURITY ANALYSIS OF THE MACAN PROTOCOL A PROBABILISTIC FRAMEWORK FOR SECURITY SCENARIOS WITH DEPENDENT ACTIONS A HYBRID ANALYSIS FOR SECURITY PROTOCOLS WITH STATE TOWARDS A FORMAL SEMANTICS-BASED TECHNIQUE FOR INTERPROCEDURAL SLICING INTEGRATING SOFTWARE AND HARDWARE VERIFICATION CODE GENERATION FOR EVENT-B VERIFYING LINEARIZABILITY ON TSO ARCHITECTURES A COMPOSITIONAL PROOF METHOD FOR LINEARIZABILITY APPLIED TO A WAIT-FREE MULTISET A SEPARATION PRINCIPLE FOR EMBEDDED SYSTEM INTERFACING DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. INTEGRATED FORMAL METHODS / : 2014 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS, IFM 2014, HELD IN BERTINORO, ITALY, IN SEPTEMBER 2014. THE 21 REVISED FULL PAPERS PRESENTED TOGETHER WITH 2 INVITED PAPERS WERE CAREFULLY REVIEWED AND SELECTED FROM 43 SUBMISSIONS. THE PAPERS HAVE BEEN ORGANIZED IN THE FOLLOWING TOPICAL SECTIONS: TOOL INTEGRATION; MODEL VERIFICATION; PROGRAM DEVELOPMENT; SECURITY ANALYSIS; ANALYSIS AND TRANSFORMATION; AND CONCURRENCY AND CONTROL DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author_GND	(DE-588)1036116271
building	Verbundindex
bvnumber	BV042166415
classification_rvk	SS 4800
classification_tum	DAT 310f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)890061496 (DE-599)BVBBV042166415
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
doi_str_mv	10.1007/978-3-319-10181-1
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">BV042166415</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">141104s2014 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319101804</subfield><subfield code="9">978-3-319-10180-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319101811</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-319-10181-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-10181-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)890061496</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042166415</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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">Integrated formal methods</subfield><subfield code="b">11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings</subfield><subfield code="c">Elvira Albert ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [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 (XI, 390 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">8739</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">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-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="y">2014</subfield><subfield code="z">Bertinoro</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">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">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Albert, Elvira</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1036116271</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">IFM</subfield><subfield code="n">11.</subfield><subfield code="d">2014</subfield><subfield code="c">Bertinoro</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1058839926</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">8739</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8739</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-10181-1</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=027605936&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=027605936&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-027605936</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-10181-1</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-10181-1</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-10181-1</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-10181-1</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-10181-1</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-10181-1</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-10181-1</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-10181-1</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-10181-1</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-10181-1</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-10181-1</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-10181-1</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-10181-1</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 2014 Bertinoro gnd-content
genre_facet	Konferenzschrift 2014 Bertinoro
id	DE-604.BV042166415
illustrated	Illustrated
indexdate	2025-01-10T15:18:39Z
institution	BVB
institution_GND	(DE-588)1058839926
isbn	9783319101804 9783319101811
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027605936
oclc_num	890061496
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-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-859 DE-861 DE-634
physical	1 Online-Ressource (XI, 390 S.) graph. Darst.
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	Integrated formal methods 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings Elvira Albert ... (eds.) Cham [u.a.] Springer 2014 1 Online-Ressource (XI, 390 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8739 Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Spezifikationssprache (DE-588)4182217-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Bertinoro gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 Systementwicklung (DE-588)4126945-7 s Spezifikationssprache (DE-588)4182217-1 s Verifikation (DE-588)4135577-5 s Albert, Elvira Sonstige (DE-588)1036116271 oth IFM 11. 2014 Bertinoro Sonstige (DE-588)1058839926 oth Lecture notes in computer science 8739 (DE-604)BV014880109 8739 https://doi.org/10.1007/978-3-319-10181-1 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027605936&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=027605936&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Integrated formal methods 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Verifikation (DE-588)4135577-5 gnd Spezifikationssprache (DE-588)4182217-1 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4126945-7 (DE-588)4135577-5 (DE-588)4182217-1 (DE-588)1071861417
title	Integrated formal methods 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings
title_auth	Integrated formal methods 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings
title_exact_search	Integrated formal methods 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings
title_full	Integrated formal methods 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings Elvira Albert ... (eds.)
title_fullStr	Integrated formal methods 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings Elvira Albert ... (eds.)
title_full_unstemmed	Integrated formal methods 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings Elvira Albert ... (eds.)
title_short	Integrated formal methods
title_sort	integrated formal methods 11th international conference ifm 2014 bertinoro italy september 9 11 2014 proceedings
title_sub	11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Verifikation (DE-588)4135577-5 gnd Spezifikationssprache (DE-588)4182217-1 gnd
topic_facet	Formale Methode Softwareentwicklung Systementwicklung Verifikation Spezifikationssprache Konferenzschrift 2014 Bertinoro
url	https://doi.org/10.1007/978-3-319-10181-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027605936&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=027605936&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT albertelvira integratedformalmethods11thinternationalconferenceifm2014bertinoroitalyseptember9112014proceedings AT ifmbertinoro integratedformalmethods11thinternationalconferenceifm2014bertinoroitalyseptember9112014proceedings

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