Holdings: Formal methods and software engineering

Formal methods and software engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] Springer 2005
Series:	Lecture notes in computer science 3785
Subjects:	Formale Methode Softwareentwicklung UML Programmanalyse Softwarespezifikation Model Checking Software Engineering Verifikation Konferenzschrift
Online Access:	DE-634 DE-M347 DE-91 DE-384 DE-473 DE-19 DE-706 DE-739 Volltext
Item Description:	Literaturangaben
Physical Description:	1 Online-Ressource (XIV, 494 S.)
ISBN:	3540297979 9783540297970
DOI:	10.1007/11576280

Staff View

MARC


LEADER	00000nam a2200000zcb4500
001	BV022368131
003	DE-604
005	20220117
007	cr\|uuu---uuuuu
008	070327s2005 xx o\|\|\|\| 10\|\|\| eng d
020			\|a 3540297979 \|9 3-540-29797-9
020			\|a 9783540297970 \|9 978-3-540-29797-0
024	7		\|a 10.1007/11576280 \|2 doi
035			\|a (OCoLC)743289245
035			\|a (DE-599)BVBBV022368131
040			\|a DE-604 \|b ger
041	0		\|a eng
049			\|a DE-473 \|a DE-739 \|a DE-706 \|a DE-19 \|a DE-91 \|a DE-384 \|a DE-M347 \|a DE-634
084			\|a DAT 310 \|2 stub
084			\|a DAT 000 \|2 stub
084			\|a DAT 510 \|2 stub
245	1	0	\|a Formal methods and software engineering \|b 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings \|c Kung-Kiu Lau
264		1	\|a Berlin [u.a.] \|b Springer \|c 2005
300			\|a 1 Online-Ressource (XIV, 494 S.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 3785
500			\|a Literaturangaben
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 UML \|0 (DE-588)4469781-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmanalyse \|0 (DE-588)4175841-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwarespezifikation \|0 (DE-588)4056186-0 \|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 Software Engineering \|0 (DE-588)4116521-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Software Engineering \|0 (DE-588)4116521-4 \|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		\|8 1\p \|5 DE-604
689	2	0	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	2	1	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	2		\|8 2\p \|5 DE-604
689	3	0	\|a Softwarespezifikation \|0 (DE-588)4056186-0 \|D s
689	3	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	3		\|8 3\p \|5 DE-604
689	4	0	\|a UML \|0 (DE-588)4469781-8 \|D s
689	4		\|8 4\p \|5 DE-604
700	1		\|a Lau, Kung-Kiu \|d 1953- \|e Sonstige \|0 (DE-588)122952502 \|4 oth
711	2		\|a International Conference on Formal Engineering Methods \|n 7 \|d 2005 \|c Manchester \|j Sonstige \|0 (DE-588)10120133-3 \|4 oth
830		0	\|a Lecture notes in computer science \|v 3785 \|w (DE-604)BV014880109 \|9 3785
856	4	0	\|u https://doi.org/10.1007/11576280 \|x Verlag \|3 Volltext
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
883	1		\|8 4\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015577360
966	e		\|u https://doi.org/10.1007/11576280 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11576280 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11576280 \|l DE-91 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11576280 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11576280 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11576280 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11576280 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11576280 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1820875008215351296
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
author_GND	(DE-588)122952502
building	Verbundindex
bvnumber	BV022368131
classification_rvk	SS 4800
classification_tum	DAT 310 DAT 000 DAT 510
collection	ZDB-2-SCS
ctrlnum	(OCoLC)743289245 (DE-599)BVBBV022368131
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/11576280
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">BV022368131</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220117</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">070327s2005 xx o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540297979</subfield><subfield code="9">3-540-29797-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540297970</subfield><subfield code="9">978-3-540-29797-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/11576280</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)743289245</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022368131</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</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-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310</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 510</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">7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings</subfield><subfield code="c">Kung-Kiu Lau</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 494 S.)</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">3785</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">UML</subfield><subfield code="0">(DE-588)4469781-8</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">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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">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">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="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="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">UML</subfield><subfield code="0">(DE-588)4469781-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lau, Kung-Kiu</subfield><subfield code="d">1953-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)122952502</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">7</subfield><subfield code="d">2005</subfield><subfield code="c">Manchester</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10120133-3</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">3785</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">3785</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/11576280</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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="883" ind1="1" ind2=" "><subfield code="8">4\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="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015577360</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11576280</subfield><subfield code="l">DE-634</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/11576280</subfield><subfield code="l">DE-M347</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/11576280</subfield><subfield code="l">DE-91</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/11576280</subfield><subfield code="l">DE-384</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/11576280</subfield><subfield code="l">DE-473</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/11576280</subfield><subfield code="l">DE-19</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/11576280</subfield><subfield code="l">DE-706</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/11576280</subfield><subfield code="l">DE-739</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 gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV022368131
illustrated	Not Illustrated
index_date	2024-07-02T17:05:58Z
indexdate	2025-01-10T15:08:48Z
institution	BVB
institution_GND	(DE-588)10120133-3
isbn	3540297979 9783540297970
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015577360
oclc_num	743289245
open_access_boolean
owner	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634
owner_facet	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634
physical	1 Online-Ressource (XIV, 494 S.)
psigel	ZDB-2-SCS
publishDate	2005
publishDateSearch	2005
publishDateSort	2005
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings Kung-Kiu Lau Berlin [u.a.] Springer 2005 1 Online-Ressource (XIV, 494 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 3785 Literaturangaben Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf UML (DE-588)4469781-8 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Verifikation (DE-588)4135577-5 s Formale Methode (DE-588)4333722-3 s 1\p DE-604 Programmanalyse (DE-588)4175841-9 s Model Checking (DE-588)4434799-6 s 2\p DE-604 Softwarespezifikation (DE-588)4056186-0 s 3\p DE-604 UML (DE-588)4469781-8 s 4\p DE-604 Lau, Kung-Kiu 1953- Sonstige (DE-588)122952502 oth International Conference on Formal Engineering Methods 7 2005 Manchester Sonstige (DE-588)10120133-3 oth Lecture notes in computer science 3785 (DE-604)BV014880109 3785 https://doi.org/10.1007/11576280 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 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd UML (DE-588)4469781-8 gnd Programmanalyse (DE-588)4175841-9 gnd Softwarespezifikation (DE-588)4056186-0 gnd Model Checking (DE-588)4434799-6 gnd Software Engineering (DE-588)4116521-4 gnd Verifikation (DE-588)4135577-5 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4469781-8 (DE-588)4175841-9 (DE-588)4056186-0 (DE-588)4434799-6 (DE-588)4116521-4 (DE-588)4135577-5 (DE-588)1071861417
title	Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings
title_auth	Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings
title_exact_search	Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings
title_exact_search_txtP	Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings
title_full	Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings Kung-Kiu Lau
title_fullStr	Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings Kung-Kiu Lau
title_full_unstemmed	Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings Kung-Kiu Lau
title_short	Formal methods and software engineering
title_sort	formal methods and software engineering 7th international conference on formal engineering methods icfem 2005 manchester uk november 1 4 2005 proceedings
title_sub	7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd UML (DE-588)4469781-8 gnd Programmanalyse (DE-588)4175841-9 gnd Softwarespezifikation (DE-588)4056186-0 gnd Model Checking (DE-588)4434799-6 gnd Software Engineering (DE-588)4116521-4 gnd Verifikation (DE-588)4135577-5 gnd
topic_facet	Formale Methode Softwareentwicklung UML Programmanalyse Softwarespezifikation Model Checking Software Engineering Verifikation Konferenzschrift
url	https://doi.org/10.1007/11576280
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT laukungkiu formalmethodsandsoftwareengineering7thinternationalconferenceonformalengineeringmethodsicfem2005manchesteruknovember142005proceedings AT internationalconferenceonformalengineeringmethodsmanchester formalmethodsandsoftwareengineering7thinternationalconferenceonformalengineeringmethodsicfem2005manchesteruknovember142005proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items