Verfügbarkeit: FM 2014: Formal methods

FM 2014: Formal methods: 19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	FM Singapur (VerfasserIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham [u.a.] Springer 2014
Schriftenreihe:	Lecture notes in computer science 8442
Schlagworte:	Formale Methode Konferenzschrift > 2014 > Singapur
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 (XVIII, 750 S.) graph. Darst.
ISBN:	9783319064093 9783319064109
DOI:	10.1007/978-3-319-06410-9

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041959945
003	DE-604
007	cr\|uuu---uuuuu
008	140708s2014 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783319064093 \|9 978-3-319-06409-3
020			\|a 9783319064109 \|c eISBN \|9 978-3-319-06410-9
024	7		\|a 10.1007/978-3-319-06410-9 \|2 doi
035			\|a (OCoLC)879511654
035			\|a (DE-599)BVBBV041959945
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 614f \|2 stub
084			\|a DAT 500f \|2 stub
111	2		\|a FM \|n 19. \|d 2014 \|c Singapur \|j Verfasser \|0 (DE-588)1050017358 \|4 aut
245	1	0	\|a FM 2014: Formal methods \|b 19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings \|c Cliff Jones ... (eds.)
264		1	\|a Cham [u.a.] \|b Springer \|c 2014
300			\|a 1 Online-Ressource (XVIII, 750 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 8442
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2014 \|z Singapur \|2 gnd-content
689	0	0	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
700	1		\|a Jones, Cliff B. \|d 1944- \|e Sonstige \|0 (DE-588)1048142760 \|4 oth
830		0	\|a Lecture notes in computer science \|v 8442 \|w (DE-604)BV014880109 \|9 8442
856	4	0	\|u https://doi.org/10.1007/978-3-319-06410-9 \|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=027402771&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=027402771&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-027402771
966	e		\|u https://doi.org/10.1007/978-3-319-06410-9 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06410-9 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06410-9 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06410-9 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06410-9 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06410-9 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06410-9 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06410-9 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06410-9 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06410-9 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06410-9 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06410-9 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-06410-9 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875578238042112
adam_text	FM 2014: FORMAL METHODS / : 2014 TABLE OF CONTENTS / INHALTSVERZEICHNIS VALIDITY CHECKING OF PUT BACK TRANSFORMATIONS IN BIDIRECTIONAL PROGRAMMING PROOF ENGINEERING CONSIDERED ESSENTIAL ENGINEERING UTOPIA: FORMAL SEMANTICS FOR CML 40 YEARS OF FORMAL METHODS: SOME OBSTACLES AND SOME POSSIBILITIES? A REFINEMENT BASED STRATEGY FOR LOCAL DEADLOCK ANALYSIS OF NETWORKS OF CSP PROCESSES ALGEBRAIC PRINCIPLES FOR RELY-GUARANTEE STYLE CONCURRENCY VERIFICATION TOOLS DEFINITION, SEMANTICS AND ANALYSIS OF MULTI RATE SYNCHRONOUS AADL TRUST FOUND: TOWARDS A FORMAL FOUNDATION FOR MODEL CHECKING TRUSTED COMPUTING PLATFORMS THE VERCORS TOOL FOR VERIFICATION OF CONCURRENT PROGRAMS KNOWLEDGE-BASED AUTOMATED REPAIR OF AUTHENTICATION PROTOCOLS A SIMPLIFIED Z SEMANTICS FOR PRESENTATION INTERACTION MODELS LOG ANALYSIS FOR DATA PROTECTION ACCOUNTABILITY AUTOMATIC COMPOSITIONAL SYNTHESIS OF DISTRIBUTED SYSTEMS AUTOMATED REAL PROVING IN PVS VIA METITARSKI QUIESCENT CONSISTENCY: DEFINING AND VERIFYING RELAXED LINEARIZABILITY TEMPORAL PRECEDENCE CHECKING FOR SWITCHED MODELS AND ITS APPLICATION TO A PARALLEL LANDING PROTOCOL CONTRACTS IN PRACTICE WHEN EQUIVALENCE AND BISIMULATION JOIN FORCES IN PROBABILISTIC AUTOMATA PRECISE PREDICTIVE ANALYSIS FOR DISCOVERING COMMUNICATION DEADLOCKS IN MPI PROGRAMS PROOF PATTERNS FOR FORMAL METHODS EFFICIENT RUNTIME MONITORING WITH METRIC TEMPORAL LOGIC: A CASE STUDY IN THE ANDROID OPERATING SYSTEM ISCASMC: A WEB-BASED PROBABILISTIC MODEL CHECKER INVARIANTS, WELL-FOUNDED STATEMENTS AND REAL-TIME PROGRAM ALGEBRA CHECKING LIVENESS PROPERTIES OF PRESBURGER COUNTER SYSTEMS USING REACHABILITY ANALYSIS A SYMBOLIC ALGORITHM FOR THE ANALYSIS OF ROBUST TIMED AUTOMATA REVISITING COMPATIBILITY OF INPUT-OUTPUT MODAL TRANSITION SYSTEMS CO-INDUCTION SIMPLY: AUTOMATIC CO-INDUCTIVE PROOFS IN A PROGRAM VERIFIER MANAGEMENT OF TIME REQUIREMENTS IN COMPONENT-BASED SYSTEMS COMPOSITIONAL SYNTHESIS OF CONCURRENT SYSTEMS THROUGH CAUSAL MODEL CHECKING AND LEARNING FORMAL VERIFICATION OF OPERATIONAL TRANSFORMATION VERIFICATION OF A TRANSACTIONAL MEMORY MANAGER UNDER HARDWARE FAILURES AND RESTARTS SCJ: MEMORY-SAFETY CHECKING WITHOUT ANNOTATIONS REFACTORING, REFINEMENT AND REASONING: A LOGICAL CHARACTERIZATION FOR HYBRID SYSTEMS OBJECT PROPOSITIONS FLEXIBLE INVARIANTS THROUGH SEMANTIC COLLABORATION EFFICIENT TIGHT FIELD BOUNDS COMPUTATION BASED ON SHAPE PREDICATES A GRAPH-BASED TRANSFORMATION REDUCTION TO REACH UPPAAL STATES FASTER COMPUTING QUADRATIC INVARIANTS WITH MIN- AND MAX-POLICY ITERATIONS: A PRACTICAL COMPARISON EFFICIENT SELF-COMPOSITION FOR WEAKEST PRECONDITION CALCULI TOWARDS A FORMAL ANALYSIS OF INFORMATION LEAKAGE FOR SIGNATURE ATTACKS IN PREFERENTIAL ELECTIONS ANALYZING CLINICAL PRACTICE GUIDELINES USING A DECIDABLE METRIC INTERVAL-BASED TEMPORAL LOGIC A MODULAR THEORY OF OBJECT ORIENTATION IN HIGHER-ORDER UTP FORMALIZING AND VERIFYING A MODERN BUILD LANGUAGE THE WIRELESS FIRE ALARM SYSTEM: ENSURING CONFORMANCE TO INDUSTRIAL STANDARDS THROUGH FORMAL VERIFICATION FORMALLY VERIFYING GRAPHICS FPU: AN INTEL EXPERIENCE MDP-BASED RELIABILITY ANALYSIS OF AN AMBIENT ASSISTED LIVING SYSTEM DIAGNOSING INDUSTRIAL BUSINESS PROCESSES: EARLY EXPERIENCES FORMAL VERIFICATION OF LUNAR ROVER CONTROL SOFTWARE USING UPPAAL FORMAL VERIFICATION OF A DESCENT GUIDANCE CONTROL PROGRAM OF A LUNAR LANDER DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. FM 2014: FORMAL METHODS / : 2014 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 19TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, FM 2014, HELD IN SINGAPORE, MAY 2014. THE 45 PAPERS PRESENTED TOGETHER WITH 3 INVITED TALKS WERE CAREFULLY REVIEWED AND SELECTED FROM 150 SUBMISSIONS. THE FOCUS OF THE PAPERS IS ON THE FOLLOWING TOPICS: INTERDISCIPLINARY FORMAL METHODS, PRACTICAL APPLICATIONS OF FORMAL METHODS IN INDUSTRIAL AND RESEARCH SETTINGS, EXPERIMENTAL VALIDATION OF TOOLS AND METHODS AS WELL AS CONSTRUCTION AND EVOLUTION OF FORMAL METHODS TOOLS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author_GND	(DE-588)1048142760
author_corporate	FM Singapur
author_corporate_role	aut
author_facet	FM Singapur
author_sort	FM Singapur
building	Verbundindex
bvnumber	BV041959945
classification_rvk	SS 4800
classification_tum	DAT 614f DAT 500f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)879511654 (DE-599)BVBBV041959945
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-06410-9
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">BV041959945</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140708s2014 xx d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319064093</subfield><subfield code="9">978-3-319-06409-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319064109</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-319-06410-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-06410-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)879511654</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041959945</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 614f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FM</subfield><subfield code="n">19.</subfield><subfield code="d">2014</subfield><subfield code="c">Singapur</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1050017358</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">FM 2014: Formal methods</subfield><subfield code="b">19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings</subfield><subfield code="c">Cliff Jones ... (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 (XVIII, 750 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">8442</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2014</subfield><subfield code="z">Singapur</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jones, Cliff B.</subfield><subfield code="d">1944-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1048142760</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">8442</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8442</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-06410-9</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=027402771&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=027402771&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-027402771</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-06410-9</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-06410-9</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-06410-9</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-06410-9</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-06410-9</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-06410-9</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-06410-9</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-06410-9</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-06410-9</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-06410-9</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-06410-9</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-06410-9</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-06410-9</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 Singapur gnd-content
genre_facet	Konferenzschrift 2014 Singapur
id	DE-604.BV041959945
illustrated	Illustrated
indexdate	2025-01-10T15:17:50Z
institution	BVB
institution_GND	(DE-588)1050017358
isbn	9783319064093 9783319064109
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027402771
oclc_num	879511654
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 (XVIII, 750 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	FM 19. 2014 Singapur Verfasser (DE-588)1050017358 aut FM 2014: Formal methods 19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings Cliff Jones ... (eds.) Cham [u.a.] Springer 2014 1 Online-Ressource (XVIII, 750 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8442 Formale Methode (DE-588)4333722-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Singapur gnd-content Formale Methode (DE-588)4333722-3 s DE-604 Jones, Cliff B. 1944- Sonstige (DE-588)1048142760 oth Lecture notes in computer science 8442 (DE-604)BV014880109 8442 https://doi.org/10.1007/978-3-319-06410-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027402771&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=027402771&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	FM 2014: Formal methods 19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd
subject_GND	(DE-588)4333722-3 (DE-588)1071861417
title	FM 2014: Formal methods 19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings
title_auth	FM 2014: Formal methods 19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings
title_exact_search	FM 2014: Formal methods 19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings
title_full	FM 2014: Formal methods 19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings Cliff Jones ... (eds.)
title_fullStr	FM 2014: Formal methods 19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings Cliff Jones ... (eds.)
title_full_unstemmed	FM 2014: Formal methods 19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings Cliff Jones ... (eds.)
title_short	FM 2014: Formal methods
title_sort	fm 2014 formal methods 19th international symposium singapore may 12 16 2014 proceedings
title_sub	19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd
topic_facet	Formale Methode Konferenzschrift 2014 Singapur
url	https://doi.org/10.1007/978-3-319-06410-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027402771&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=027402771&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT fmsingapur fm2014formalmethods19thinternationalsymposiumsingaporemay12162014proceedings AT jonescliffb fm2014formalmethods19thinternationalsymposiumsingaporemay12162014proceedings

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