Verfügbarkeit: Software Engineering and Formal Methods

Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Canal, Carlos (VerfasserIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham Springer International Publishing 2015
Schriftenreihe:	Lecture Notes in Computer Science 8938
Schlagworte:	Logischer Entwurf Software Engineering Informatik Programmiersprache Konferenzschrift
Online-Zugang:	Volltext Abstract Inhaltsverzeichnis
Beschreibung:	1 Online-Ressource (XXVII, 405 p.) Ill.
ISBN:	9783319152011 9783319152004
DOI:	10.1007/978-3-319-15201-1

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV042326114
003	DE-604
005	20150716
007	cr\|uuu---uuuuu
008	150204s2015 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783319152011 \|c Online \|9 978-3-319-15201-1
020			\|a 9783319152004 \|c Print \|9 978-3-319-15200-4
024	7		\|a 10.1007/978-3-319-15201-1 \|2 doi
035			\|a (OCoLC)903126009
035			\|a (DE-599)BVBBV042326114
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-91 \|a DE-19 \|a DE-384 \|a DE-Aug4 \|a DE-573 \|a DE-859 \|a DE-703 \|a DE-473 \|a DE-706 \|a DE-20 \|a DE-739 \|a DE-92 \|a DE-M347 \|a DE-29 \|a DE-634 \|a DE-860 \|a DE-861 \|a DE-355
082	0		\|a 005.1015113 \|2 23
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a ST 240 \|0 (DE-625)143625: \|2 rvk
084			\|a DAT 510f \|2 stub
084			\|a DAT 310f \|2 stub
084			\|a DAT 000 \|2 stub
084			\|a DAT 325f \|2 stub
100	1		\|a Canal, Carlos \|e Verfasser \|0 (DE-588)133123537 \|4 aut
245	1	0	\|a Software Engineering and Formal Methods \|b SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers \|c edited by Carlos Canal, Akram Idani
264		1	\|a Cham \|b Springer International Publishing \|c 2015
300			\|a 1 Online-Ressource (XXVII, 405 p.) \|b Ill.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 8938
650	0	7	\|a Logischer Entwurf \|0 (DE-588)4168051-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software Engineering \|0 (DE-588)4116521-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|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 \|2 gnd-content
689	0	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0	1	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	0	2	\|a Logischer Entwurf \|0 (DE-588)4168051-0 \|D s
689	0	3	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	0		\|5 DE-604
711	2		\|a SEFM \|n 12. \|d 2014 \|c Grenoble \|j Sonstige \|0 (DE-588)105796963X \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 8938 \|w (DE-604)BV014880109 \|9 8938
856	4	0	\|u https://doi.org/10.1007/978-3-319-15201-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=027762951&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
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=027762951&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2015
940	1		\|q ZDB-2-LNC_2015
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027762951

Datensatz im Suchindex

_version_	1820875648369950720
adam_text	SOFTWARE ENGINEERING AND FORMAL METHODS / CANAL, CARLOS : 2015 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES REVISED SELECTED PAPERS FROM THE WORKSHOPS COLLOCATED WITH THE SEFM 2014 CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, HELD IN GRENOBLE, FRANCE, IN SEPTEMBER 2014. THE 26 PAPERS INCLUDED IN THIS VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM 49 SUBMISSIONS. THEY ARE FROM THE FOLLOWING WORKSHOPS: THE 1ST WORKSHOP ON HUMAN-ORIENTED FORMAL METHODS - FROM READABILITY TO AUTOMATION, HOFM 2014, THE 3RD INTERNATIONAL SYMPOSIUM ON MODELLING AND KNOWLEDGE MANAGEMENT APPLICATIONS - SYSTEMS AND DOMAINS, MOKMASD 2014, THE 8TH INTERNATIONAL WORKSHOP ON FOUNDATIONS AND TECHNIQUES FOR OPEN SOURCE SOFTWARE CERTIFICATION, OPEN CERT 2014, THE 1ST WORKSHOP ON SAFETY AND FORMAL METHODS, SAFOME 2014, AND THE 4TH WORKSHOP ON FORMAL METHODS IN THE DEVELOPMENT OF SOFTWARE, WS-FMDS 2014 DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. SOFTWARE ENGINEERING AND FORMAL METHODS / : 2015 TABLE OF CONTENTS / INHALTSVERZEICHNIS HOFM 2014 A USABILITY EVALUATION OF INTERACTIVE THEOREM PROVERS USING FOCUS GROUPS AN APPROACH FOR CREATING DOMAIN SPECIFIC VISUALISATIONS OF CSP MODELS USING Z IN THE DEVELOPMENT AND MAINTENANCE OF COMPUTATIONAL MODELS OF REAL-WORLD SYSTEMS WHEN A FORMAL MODEL RHYMES WITH A GRAPHICAL NOTATION SAFOME 2014 ON A PROCESS ALGEBRAIC REPRESENTATION OF SEQUENCE DIAGRAMS MODELLING AND VERIFICATION OF SURVIVABILITY REQUIREMENTS FOR CRITICAL SYSTEMS MODEL-BASED VERIFICATION OF SAFETY CONTRACTS A TESTING-BASED APPROACH TO ENSURE THE SAFETY OF SHARED RESOURCE CONCURRENT SYSTEMS A CONTRACTS-BASED FRAMEWORK FOR SYSTEMS MODELING AND EMBEDDED DIAGNOSTICS OPENCERT 2014 MODELLING AND VERIFYING SMELL-FREE ARCHITECTURES WITH THE ARCHERY LANGUAGE ONTOLIFLOSS: ONTOLOGY FOR LEARNING PROCESSES IN FLOSS COMMUNITIES PROCESS MINING EVENT LOGS FROM FLOSS DATA: STATE OF THE ART AND PERSPECTIVES MOKMASD 2014 A LATENT REPRESENTATION MODEL FOR SENTIMENT ANALYSIS IN HETEROGENEOUS SOCIAL NETWORKS USE OF MOBILE PHONE DATA TO ESTIMATE VISITORS MOBILITY FLOWS AN ABSTRACT STATE MACHINE (ASM) REPRESENTATION OF LEARNING PROCESS IN FLOSS COMMUNITIES A MATHEMATICAL MODEL FOR ASSESSING KRAS MUTATION EFFECT ON MONOCLONAL ANTIBODY TREATMENT OF COLORECTAL CANCER SEA-SCALE AGENT-BASED SIMULATOR OF SOLEA SOLEA IN THE ADRIATIC SEA RESEARCH CHALLENGES IN MODELLING ECOSYSTEMS RETRIEVING POINTS OF INTEREST FROM HUMAN SYSTEMATIC MOVEMENTS WS-FMDS 2014 PATH-SENSITIVE RACE DETECTION WITH PARTIAL ORDER REDUCED SYMBOLIC EXECUTION PHASE-TYPE APPROXIMATIONS FOR NON-MARKOVIAN SYSTEMS: A CASE STUDY QUANTITATIVE ANONYMITY EVALUATION OF VOTING PROTOCOLS SCALABLE VERIFICATION OF MARKOV DECISION PROCESSES TOWARDS SYNTHESIS OF ATTACK TREES FOR SUPPORTING COMPUTER-AIDED RISK ANALYSIS ON GENERATION OF CONTEXT-ABSTRACT PLANS A COLOURED PETRI NET APPROACH TO MODEL AND ANALYSE STATEFUL WORKFLOWS BASED ON WS-BPEL AND WSRF. DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author	Canal, Carlos
author_GND	(DE-588)133123537
author_facet	Canal, Carlos
author_role	aut
author_sort	Canal, Carlos
author_variant	c c cc
building	Verbundindex
bvnumber	BV042326114
classification_rvk	ST 230 ST 240
classification_tum	DAT 510f DAT 310f DAT 000 DAT 325f
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)903126009 (DE-599)BVBBV042326114
dewey-full	005.1015113
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1015113
dewey-search	005.1015113
dewey-sort	15.1015113
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-319-15201-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 a2200000zcb4500</leader><controlfield tag="001">BV042326114</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150716</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">150204s2015 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319152011</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-15201-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319152004</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-15200-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-15201-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)903126009</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042326114</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</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">DAT 310f</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="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Canal, Carlos</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133123537</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software Engineering and Formal Methods</subfield><subfield code="b">SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers</subfield><subfield code="c">edited by Carlos Canal, Akram Idani</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXVII, 405 p.)</subfield><subfield code="b">Ill.</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">8938</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logischer Entwurf</subfield><subfield code="0">(DE-588)4168051-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Logischer Entwurf</subfield><subfield code="0">(DE-588)4168051-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SEFM</subfield><subfield code="n">12.</subfield><subfield code="d">2014</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)105796963X</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">8938</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8938</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-15201-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=027762951&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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=027762951&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027762951</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV042326114
illustrated	Illustrated
indexdate	2025-01-10T15:18:58Z
institution	BVB
institution_GND	(DE-588)105796963X
isbn	9783319152011 9783319152004
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027762951
oclc_num	903126009
open_access_boolean
owner	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-706 DE-20 DE-739 DE-92 DE-M347 DE-29 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR
owner_facet	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-706 DE-20 DE-739 DE-92 DE-M347 DE-29 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XXVII, 405 p.) Ill.
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015
publishDate	2015
publishDateSearch	2015
publishDateSort	2015
publisher	Springer International Publishing
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Canal, Carlos Verfasser (DE-588)133123537 aut Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers edited by Carlos Canal, Akram Idani Cham Springer International Publishing 2015 1 Online-Ressource (XXVII, 405 p.) Ill. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 8938 Logischer Entwurf (DE-588)4168051-0 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Informatik (DE-588)4026894-9 s Software Engineering (DE-588)4116521-4 s Logischer Entwurf (DE-588)4168051-0 s Programmiersprache (DE-588)4047409-4 s DE-604 SEFM 12. 2014 Grenoble Sonstige (DE-588)105796963X oth Lecture Notes in Computer Science 8938 (DE-604)BV014880109 8938 https://doi.org/10.1007/978-3-319-15201-1 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027762951&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027762951&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Canal, Carlos Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers Lecture Notes in Computer Science Logischer Entwurf (DE-588)4168051-0 gnd Software Engineering (DE-588)4116521-4 gnd Informatik (DE-588)4026894-9 gnd Programmiersprache (DE-588)4047409-4 gnd
subject_GND	(DE-588)4168051-0 (DE-588)4116521-4 (DE-588)4026894-9 (DE-588)4047409-4 (DE-588)1071861417
title	Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
title_auth	Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
title_exact_search	Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
title_full	Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers edited by Carlos Canal, Akram Idani
title_fullStr	Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers edited by Carlos Canal, Akram Idani
title_full_unstemmed	Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers edited by Carlos Canal, Akram Idani
title_short	Software Engineering and Formal Methods
title_sort	software engineering and formal methods sefm 2014 collocated workshops hofm safome opencert mokmasd ws fmds grenoble france september 1 2 2014 revised selected papers
title_sub	SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
topic	Logischer Entwurf (DE-588)4168051-0 gnd Software Engineering (DE-588)4116521-4 gnd Informatik (DE-588)4026894-9 gnd Programmiersprache (DE-588)4047409-4 gnd
topic_facet	Logischer Entwurf Software Engineering Informatik Programmiersprache Konferenzschrift
url	https://doi.org/10.1007/978-3-319-15201-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027762951&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=027762951&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT canalcarlos softwareengineeringandformalmethodssefm2014collocatedworkshopshofmsafomeopencertmokmasdwsfmdsgrenoblefranceseptember122014revisedselectedpapers AT sefmgrenoble softwareengineeringandformalmethodssefm2014collocatedworkshopshofmsafomeopencertmokmasdwsfmdsgrenoblefranceseptember122014revisedselectedpapers

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