Verfügbarkeit: Formal methods and software engineering

Formal methods and software engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin u.a. Springer 2003
Schriftenreihe:	Lecture notes in computer science 2885
Schlagworte:	Model Checking Entscheidungsverfahren Verifikation Formale Methode Web Services Leistungsbewertung Softwareentwicklung Programmverifikation Programmanalyse Softwaretest Serviceorientierte Architektur Softwarespezifikation Konferenzschrift > 2003 > Singapur
Online-Zugang:	TUM01 UBA01 UBG01 UBM01 UBY01 UPA01 Volltext
Beschreibung:	1 Online-Ressource
ISBN:	354020461X
DOI:	10.1007/b94115

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV021322577
003	DE-604
005	20120220
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	060206s2003 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 354020461X \|9 3-540-20461-X
024	7		\|a 10.1007/b94115 \|2 doi
035			\|a (OCoLC)76613680
035			\|a (DE-599)BVBBV021322577
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-739 \|a DE-19 \|a DE-473 \|a DE-91 \|a DE-706 \|a DE-384
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 000 \|2 stub
084			\|a DAT 310f \|2 stub
245	1	0	\|a Formal methods and software engineering \|b 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings \|c Jin Song Dong, Jim Woodcock (eds.)
264		1	\|a Berlin u.a. \|b Springer \|c 2003
300			\|a 1 Online-Ressource
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 2885
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Entscheidungsverfahren \|0 (DE-588)4637781-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Web Services \|0 (DE-588)4691234-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Leistungsbewertung \|0 (DE-588)4167271-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmanalyse \|0 (DE-588)4175841-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwaretest \|0 (DE-588)4132652-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Serviceorientierte Architektur \|0 (DE-588)4841015-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwarespezifikation \|0 (DE-588)4056186-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2003 \|z Singapur \|2 gnd-content
689	0	0	\|a Softwarespezifikation \|0 (DE-588)4056186-0 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	1	1	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	1	2	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|5 DE-604
689	2	0	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	2	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	2		\|5 DE-604
689	3	0	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	3	1	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	3	2	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	3	3	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	3		\|8 1\p \|5 DE-604
689	4	0	\|a Serviceorientierte Architektur \|0 (DE-588)4841015-9 \|D s
689	4	1	\|a Web Services \|0 (DE-588)4691234-4 \|D s
689	4	2	\|a Leistungsbewertung \|0 (DE-588)4167271-9 \|D s
689	4		\|8 2\p \|5 DE-604
689	5	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	5	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	5	2	\|a Entscheidungsverfahren \|0 (DE-588)4637781-5 \|D s
689	5		\|8 3\p \|5 DE-604
700	1		\|a Dong, Jin Song \|e Sonstige \|4 oth
711	2		\|a International Conference on Formal Engineering Methods \|n 5 \|d 2003 \|c Singapur \|j Sonstige \|0 (DE-588)10067828-2 \|4 oth
830		0	\|a Lecture notes in computer science \|v 2885 \|w (DE-604)BV014880109 \|9 2885
856	4	0	\|u https://doi.org/10.1007/b94115 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
999			\|a oai:aleph.bib-bvb.de:BVB01-014642955
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u https://doi.org/10.1007/b94115 \|l TUM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b94115 \|l UBA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b94115 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b94115 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b94115 \|l UBY01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b94115 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804135131998322688
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV021322577
classification_rvk	SS 4800
classification_tum	DAT 000 DAT 310f
collection	ZDB-2-SCS
ctrlnum	(OCoLC)76613680 (DE-599)BVBBV021322577
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/b94115
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04198nmm a2200925zcb4500</leader><controlfield tag="001">BV021322577</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120220 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">060206s2003 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354020461X</subfield><subfield code="9">3-540-20461-X</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/b94115</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76613680</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021322577</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods and software engineering</subfield><subfield code="b">5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings</subfield><subfield code="c">Jin Song Dong, Jim Woodcock (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">2885</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">Entscheidungsverfahren</subfield><subfield code="0">(DE-588)4637781-5</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">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">Web Services</subfield><subfield code="0">(DE-588)4691234-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Leistungsbewertung</subfield><subfield code="0">(DE-588)4167271-9</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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Serviceorientierte Architektur</subfield><subfield code="0">(DE-588)4841015-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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">2003</subfield><subfield code="z">Singapur</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="3"><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=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Serviceorientierte Architektur</subfield><subfield code="0">(DE-588)4841015-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Web Services</subfield><subfield code="0">(DE-588)4691234-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="2"><subfield code="a">Leistungsbewertung</subfield><subfield code="0">(DE-588)4167271-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" 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="5" 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="5" ind2="2"><subfield code="a">Entscheidungsverfahren</subfield><subfield code="0">(DE-588)4637781-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dong, Jin Song</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Formal Engineering Methods</subfield><subfield code="n">5</subfield><subfield code="d">2003</subfield><subfield code="c">Singapur</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10067828-2</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">2885</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">2885</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b94115</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014642955</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b94115</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SCS</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/b94115</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SCS</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/b94115</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</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/b94115</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</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/b94115</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</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/b94115</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2003 Singapur gnd-content
genre_facet	Konferenzschrift 2003 Singapur
id	DE-604.BV021322577
illustrated	Not Illustrated
index_date	2024-07-02T13:59:24Z
indexdate	2024-07-09T20:35:38Z
institution	BVB
institution_GND	(DE-588)10067828-2
isbn	354020461X
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-014642955
oclc_num	76613680
open_access_boolean
owner	DE-739 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-91 DE-BY-TUM DE-706 DE-384
owner_facet	DE-739 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-91 DE-BY-TUM DE-706 DE-384
physical	1 Online-Ressource
psigel	ZDB-2-SCS
publishDate	2003
publishDateSearch	2003
publishDateSort	2003
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal methods and software engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings Jin Song Dong, Jim Woodcock (eds.) Berlin u.a. Springer 2003 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 2885 Model Checking (DE-588)4434799-6 gnd rswk-swf Entscheidungsverfahren (DE-588)4637781-5 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Web Services (DE-588)4691234-4 gnd rswk-swf Leistungsbewertung (DE-588)4167271-9 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Serviceorientierte Architektur (DE-588)4841015-9 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2003 Singapur gnd-content Softwarespezifikation (DE-588)4056186-0 s Formale Methode (DE-588)4333722-3 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Verifikation (DE-588)4135577-5 s Softwaretest (DE-588)4132652-0 s Programmverifikation (DE-588)4135576-3 s Programmanalyse (DE-588)4175841-9 s Model Checking (DE-588)4434799-6 s 1\p DE-604 Serviceorientierte Architektur (DE-588)4841015-9 s Web Services (DE-588)4691234-4 s Leistungsbewertung (DE-588)4167271-9 s 2\p DE-604 Entscheidungsverfahren (DE-588)4637781-5 s 3\p DE-604 Dong, Jin Song Sonstige oth International Conference on Formal Engineering Methods 5 2003 Singapur Sonstige (DE-588)10067828-2 oth Lecture notes in computer science 2885 (DE-604)BV014880109 2885 https://doi.org/10.1007/b94115 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Formal methods and software engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings Lecture notes in computer science Model Checking (DE-588)4434799-6 gnd Entscheidungsverfahren (DE-588)4637781-5 gnd Verifikation (DE-588)4135577-5 gnd Formale Methode (DE-588)4333722-3 gnd Web Services (DE-588)4691234-4 gnd Leistungsbewertung (DE-588)4167271-9 gnd Softwareentwicklung (DE-588)4116522-6 gnd Programmverifikation (DE-588)4135576-3 gnd Programmanalyse (DE-588)4175841-9 gnd Softwaretest (DE-588)4132652-0 gnd Serviceorientierte Architektur (DE-588)4841015-9 gnd Softwarespezifikation (DE-588)4056186-0 gnd
subject_GND	(DE-588)4434799-6 (DE-588)4637781-5 (DE-588)4135577-5 (DE-588)4333722-3 (DE-588)4691234-4 (DE-588)4167271-9 (DE-588)4116522-6 (DE-588)4135576-3 (DE-588)4175841-9 (DE-588)4132652-0 (DE-588)4841015-9 (DE-588)4056186-0 (DE-588)1071861417
title	Formal methods and software engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings
title_auth	Formal methods and software engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings
title_exact_search	Formal methods and software engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings
title_exact_search_txtP	Formal methods and software engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings
title_full	Formal methods and software engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings Jin Song Dong, Jim Woodcock (eds.)
title_fullStr	Formal methods and software engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings Jin Song Dong, Jim Woodcock (eds.)
title_full_unstemmed	Formal methods and software engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings Jin Song Dong, Jim Woodcock (eds.)
title_short	Formal methods and software engineering
title_sort	formal methods and software engineering 5th international conference on formal engineering methods icfem 2003 singapore november 5 7 2003 proceedings
title_sub	5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings
topic	Model Checking (DE-588)4434799-6 gnd Entscheidungsverfahren (DE-588)4637781-5 gnd Verifikation (DE-588)4135577-5 gnd Formale Methode (DE-588)4333722-3 gnd Web Services (DE-588)4691234-4 gnd Leistungsbewertung (DE-588)4167271-9 gnd Softwareentwicklung (DE-588)4116522-6 gnd Programmverifikation (DE-588)4135576-3 gnd Programmanalyse (DE-588)4175841-9 gnd Softwaretest (DE-588)4132652-0 gnd Serviceorientierte Architektur (DE-588)4841015-9 gnd Softwarespezifikation (DE-588)4056186-0 gnd
topic_facet	Model Checking Entscheidungsverfahren Verifikation Formale Methode Web Services Leistungsbewertung Softwareentwicklung Programmverifikation Programmanalyse Softwaretest Serviceorientierte Architektur Softwarespezifikation Konferenzschrift 2003 Singapur
url	https://doi.org/10.1007/b94115
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT dongjinsong formalmethodsandsoftwareengineering5thinternationalconferenceonformalengineeringmethodsicfem2003singaporenovember572003proceedings AT internationalconferenceonformalengineeringmethodssingapur formalmethodsandsoftwareengineering5thinternationalconferenceonformalengineeringmethodsicfem2003singaporenovember572003proceedings

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