Holdings: Integrated formal methods

Integrated formal methods: 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2009
Series:	Lecture notes in computer science 5423
Subjects:	Formale Methode - Spezifikationssprache - Verifikation - Kongress - Düsseldorf <2009> Model Checking - Formale Methode - Kongress - Düsseldorf <2009> Softwareentwicklung - Formale Methode - Kongress - Düsseldorf <2009> Systementwicklung - Formale Methode - Kongress - Düsseldorf <2009> Formal methods (Computer science) > Congresses Formale Methode Softwareentwicklung Systementwicklung Model Checking Verifikation Spezifikationssprache Konferenzschrift > 2009 > Düsseldorf
Online Access:	Inhaltsverzeichnis
Item Description:	Literaturangaben
Physical Description:	X, 366 S. graph. Darst. 24 cm
ISBN:	9783642002540

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV035387882
003	DE-604
005	20090508
007	t\|
008	090324s2009 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 09,N07,0080 \|2 dnb
015			\|a 09,A10,0043 \|2 dnb
016	7		\|a 992291674 \|2 DE-101
020			\|a 9783642002540 \|c kart. : EUR 56.66 (freier Pr.), sfr 88.00 (freier Pr.) \|9 978-3-642-00254-0
024	3		\|a 9783642002540
028	5	2	\|a 12618477
035			\|a (OCoLC)302315740
035			\|a (DE-599)DNB992291674
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-91G \|a DE-83 \|a DE-11
050		0	\|a QA76.9.F67
082	0		\|a 004
082	0		\|a 005.101015113 \|2 22/ger
082	0		\|a 004.0151 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 310f \|2 stub
245	1	0	\|a Integrated formal methods \|b 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings \|c Michael Leuschel ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2009
300			\|a X, 366 S. \|b graph. Darst. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 5423
500			\|a Literaturangaben
650		4	\|a Formale Methode - Spezifikationssprache - Verifikation - Kongress - Düsseldorf <2009>
650		4	\|a Model Checking - Formale Methode - Kongress - Düsseldorf <2009>
650		4	\|a Softwareentwicklung - Formale Methode - Kongress - Düsseldorf <2009>
650		4	\|a Systementwicklung - Formale Methode - Kongress - Düsseldorf <2009>
650		4	\|a Formal methods (Computer science) \|v Congresses
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 Model Checking \|0 (DE-588)4434799-6 \|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 2009 \|z Düsseldorf \|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
689	3	0	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	3	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	3		\|5 DE-604
700	1		\|a Leuschel, Michael \|e Sonstige \|4 oth
711	2		\|a IFM \|n 7 \|d 2009 \|c Düsseldorf \|j Sonstige \|0 (DE-588)10371929-5 \|4 oth
830		0	\|a Lecture notes in computer science \|v 5423 \|w (DE-604)BV000000607 \|9 5423
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017308717&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-017308717

Record in the Search Index

_version_	1820875114608066560
adam_text	TABLE OF CONTENTS INVITED TALKS DEVELOPING TOPOLOGY DISCOVERY IN EVENT-B 1 THAI SON HOANG, HIRONOBU KURUMA, DAVID BASIN, AND JEAN-RAYMOND ABRIAL DECOMPOSITION STRUCTURES FOR EVENT-B 20 MICHAEL BUTLER TAMING THE UNBOUNDED FOR HARDWARE SYNTHESIS 39 BYRON COOK CONTRIBUTED PAPERS VERIFYING UML/OCL OPERATION CONTRACTS 40 JORDI CABOT, ROBERT CLARISO, AND DANIEL RIERA PROPERTY SPECIFICATIONS FOR WORKFLOW MODELLING 56 PETER Y.H. WONG AND JEREMY GIBBONS FORMAL VERIFICATION BASED ON GUIDED RANDOM WALKS 72 THANG H. BUI AND ALBERT NYMEYER PARALLEL PROCESSES WITH REAL-TIME AND DATA: THE ATLANTIF INTERMEDIATE FORMAT 88 JAN STOECKER, FREDERIC LANG, AND HUBERT GARAVEL CHANGING SYSTEM INTERFACES CONSISTENTLY: A NEW REFINEMENT STRATEGY FOR CSP\|\|B 103 STEVE SCHNEIDER AND HELEN TREHARNE CSP WITH HIERARCHICAL STATE 118 ROBERT COLVIN AND IAN J. HAYES PREDICATE ABSTRACTION IN A PROGRAM LOGIC CALCULUS 136 BENJAMIN WEISS MECHANISED TRANSLATION OF CONTROL LAW DIAGRAMS INTO CIRCUS 151 FRANK ZEYDA AND ANA CAVALCANTI REALIZABILITY OF CHOREOGRAPHIES USING PROCESS ALGEBRA ENCODINGS 167 GWEN SALAIIN AND TEVFIK BULTAN MODELLIN BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/992291674 DIGITALISIERT DURCH X TABLE OF CONTENTS SAL-BASED SYMBOLIC SCHEDULING IN TIME-TRIGGERED NETWORKS 200 SEBASTIAN VOSS, MARIA SOREA, AND KLAUS ECHTLE INCREMENTAL REASONING FOR MULTIPLE INHERITANCE 215 JOHAN DOVLAND, EINAR BROCH JOHNSEN, OLAF OWE, AND MARTIN STEFFEN MODEL CHECKING LTL FORMULAE IN RAISE WITH FDR 231 ABIGAIL PARISACA VARGAS, ANA G. GARIS, S. LIZETH TAPIA TARIFA, AND CHRIS GEORGE AN INTRODUCTION TO GRAMMAR CONVERGENCE 246 RALF LAEMMEL AND VADIM ZAYTSEV APPLICATION OF GRAPH TRANSFORMATION IN VERIFICATION OF DYNAMIC SYSTEMS 261 ZARRIN LANGARI AND RICHARD TREFLER FORMAL PROBABILISTIC ANALYSIS OF STUCK-AT FAULTS IN RECONFIGURABLE MEMORY ARRAYS 277 OSMAN HASAN, NAEEM ABBASI, AND SOFIENE TAHAR CHALLENGES IN THE SPECIFICATION OF FULL CONTRACTS 292 GORDON J. PACE AND GERARDO SCHNEIDER PARTIAL ORDER REDUCTION FOR STATE/EVENT LTL 307 NIKOLA BENES, LUBOS BRIM, IVANA CERND, JIRI SOCHOR, PAVLINA VAFEKOVD, AND BARBORA ZIMMEROVA DYNAMIC PATH REDUCTION FOR SOFTWARE MODEL CHECKING 322 ZIJIANG YANG, BASHAR AL-RAWI, KAREM SAKALLAH, XIAOWAN HUANG, SCOTT SMOLKA, AND RADU GROSU AUTOMATIC GENERATION OF ERROR MESSAGES FOR THE SYMBOLIC EXECUTION OF EB3 PROCESS EXPRESSIONS 337 JEREMY MILHAU, BENOIT FRAIKIN, AND MARC FRAPPIER DECOMPOSITIONAL PETRI NET REDUCTIONS 352 ASTRID
any_adam_object	1
building	Verbundindex
bvnumber	BV035387882
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.9.F67
callnumber-search	QA76.9.F67
callnumber-sort	QA 276.9 F67
callnumber-subject	QA - Mathematics
classification_rvk	SS 4800
classification_tum	DAT 310f
ctrlnum	(OCoLC)302315740 (DE-599)DNB992291674
dewey-full	004 005.101015113 004.0151
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science 005 - Computer programming, programs, data, security
dewey-raw	004 005.101015113 004.0151
dewey-search	004 005.101015113 004.0151
dewey-sort	14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
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">BV035387882</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090508</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">090324s2009 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N07,0080</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,A10,0043</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">992291674</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642002540</subfield><subfield code="c">kart. : EUR 56.66 (freier Pr.), sfr 88.00 (freier Pr.)</subfield><subfield code="9">978-3-642-00254-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642002540</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12618477</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)302315740</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB992291674</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.F67</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22/ger</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">Integrated formal methods</subfield><subfield code="b">7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings</subfield><subfield code="c">Michael Leuschel ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 366 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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">5423</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formale Methode - Spezifikationssprache - Verifikation - Kongress - Düsseldorf <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model Checking - Formale Methode - Kongress - Düsseldorf <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Formale Methode - Kongress - Düsseldorf <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systementwicklung - Formale Methode - Kongress - Düsseldorf <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="v">Congresses</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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</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">2009</subfield><subfield code="z">Düsseldorf</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="689" ind1="3" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Leuschel, Michael</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">IFM</subfield><subfield code="n">7</subfield><subfield code="d">2009</subfield><subfield code="c">Düsseldorf</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10371929-5</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">5423</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5423</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=017308717&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017308717</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2009 Düsseldorf gnd-content
genre_facet	Konferenzschrift 2009 Düsseldorf
id	DE-604.BV035387882
illustrated	Illustrated
indexdate	2025-01-10T15:10:28Z
institution	BVB
institution_GND	(DE-588)10371929-5
isbn	9783642002540
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-017308717
oclc_num	302315740
open_access_boolean
owner	DE-706 DE-91G DE-BY-TUM DE-83 DE-11
owner_facet	DE-706 DE-91G DE-BY-TUM DE-83 DE-11
physical	X, 366 S. graph. Darst. 24 cm
publishDate	2009
publishDateSearch	2009
publishDateSort	2009
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings Michael Leuschel ... (eds.) Berlin [u.a.] Springer 2009 X, 366 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5423 Literaturangaben Formale Methode - Spezifikationssprache - Verifikation - Kongress - Düsseldorf <2009> Model Checking - Formale Methode - Kongress - Düsseldorf <2009> Softwareentwicklung - Formale Methode - Kongress - Düsseldorf <2009> Systementwicklung - Formale Methode - Kongress - Düsseldorf <2009> Formal methods (Computer science) Congresses 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 Model Checking (DE-588)4434799-6 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Spezifikationssprache (DE-588)4182217-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Düsseldorf 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 Model Checking (DE-588)4434799-6 s Leuschel, Michael Sonstige oth IFM 7 2009 Düsseldorf Sonstige (DE-588)10371929-5 oth Lecture notes in computer science 5423 (DE-604)BV000000607 5423 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017308717&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings Lecture notes in computer science Formale Methode - Spezifikationssprache - Verifikation - Kongress - Düsseldorf <2009> Model Checking - Formale Methode - Kongress - Düsseldorf <2009> Softwareentwicklung - Formale Methode - Kongress - Düsseldorf <2009> Systementwicklung - Formale Methode - Kongress - Düsseldorf <2009> Formal methods (Computer science) Congresses Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 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)4434799-6 (DE-588)4135577-5 (DE-588)4182217-1 (DE-588)1071861417
title	Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings
title_auth	Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings
title_exact_search	Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings
title_full	Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings Michael Leuschel ... (eds.)
title_fullStr	Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings Michael Leuschel ... (eds.)
title_full_unstemmed	Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings Michael Leuschel ... (eds.)
title_short	Integrated formal methods
title_sort	integrated formal methods 7th international conference ifm 2009 dusseldorf germany february 16 19 2009 proceedings
title_sub	7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings
topic	Formale Methode - Spezifikationssprache - Verifikation - Kongress - Düsseldorf <2009> Model Checking - Formale Methode - Kongress - Düsseldorf <2009> Softwareentwicklung - Formale Methode - Kongress - Düsseldorf <2009> Systementwicklung - Formale Methode - Kongress - Düsseldorf <2009> Formal methods (Computer science) Congresses Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Verifikation (DE-588)4135577-5 gnd Spezifikationssprache (DE-588)4182217-1 gnd
topic_facet	Formale Methode - Spezifikationssprache - Verifikation - Kongress - Düsseldorf <2009> Model Checking - Formale Methode - Kongress - Düsseldorf <2009> Softwareentwicklung - Formale Methode - Kongress - Düsseldorf <2009> Systementwicklung - Formale Methode - Kongress - Düsseldorf <2009> Formal methods (Computer science) Congresses Formale Methode Softwareentwicklung Systementwicklung Model Checking Verifikation Spezifikationssprache Konferenzschrift 2009 Düsseldorf
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017308717&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT leuschelmichael integratedformalmethods7thinternationalconferenceifm2009dusseldorfgermanyfebruary16192009proceedings AT ifmdusseldorf integratedformalmethods7thinternationalconferenceifm2009dusseldorfgermanyfebruary16192009proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items