Verfügbarkeit: Formal methods for software architectures

Formal methods for software architectures: third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin Springer 2003
Schriftenreihe:	Lecture notes in computer science 2804
Schlagworte:	Formale Methode Softwareentwicklung Systementwicklung Softwarearchitektur Konferenzschrift > 2003 > Bertinoro
Online-Zugang:	DE-91 DE-384 DE-19 DE-739 Volltext
Beschreibung:	1 Online-Ressource (VI, 285 S.)
ISBN:	3540200835
DOI:	10.1007/b13225

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV035062036
003	DE-604
007	cr\|uuu---uuuuu
008	080919s2003 gw o\|\|\|\| 10\|\|\| eng d
020			\|a 3540200835 \|9 3-540-20083-5
024	7		\|a 10.1007/b13225 \|2 doi
035			\|a (OCoLC)1074305367
035			\|a (DE-599)BVBBV035062036
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-19 \|a DE-91 \|a DE-739 \|a DE-384
084			\|a DAT 310f \|2 stub
245	1	0	\|a Formal methods for software architectures \|b third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures \|c Marco Bernardo ... (eds.)
264		1	\|a Berlin \|b Springer \|c 2003
300			\|a 1 Online-Ressource (VI, 285 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 2804
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 Softwarearchitektur \|0 (DE-588)4121677-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2003 \|z Bertinoro \|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 Softwarearchitektur \|0 (DE-588)4121677-5 \|D s
689	2	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	2		\|5 DE-604
700	1		\|a Bernardo, Marco \|d 1970- \|e Sonstige \|0 (DE-588)1036692701 \|4 oth
711	2		\|a International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures \|n 3 \|d 2003 \|c Bertinoro \|j Sonstige \|0 (DE-588)10064706-6 \|4 oth
830		0	\|a Lecture notes in computer science \|v 2804 \|w (DE-604)BV014880109 \|9 2804
856	4	0	\|u https://doi.org/10.1007/b13225 \|x Verlag \|3 Volltext
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016730542
966	e		\|u https://doi.org/10.1007/b13225 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b13225 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b13225 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b13225 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875066680803328
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
author_GND	(DE-588)1036692701
building	Verbundindex
bvnumber	BV035062036
classification_rvk	SS 4800
classification_tum	DAT 310f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)1074305367 (DE-599)BVBBV035062036
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/b13225
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">BV035062036</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">080919s2003 gw o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540200835</subfield><subfield code="9">3-540-20083-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/b13225</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1074305367</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035062036</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-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</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 for software architectures</subfield><subfield code="b">third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures</subfield><subfield code="c">Marco Bernardo ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VI, 285 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">2804</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">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-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="y">2003</subfield><subfield code="z">Bertinoro</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">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</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="700" ind1="1" ind2=" "><subfield code="a">Bernardo, Marco</subfield><subfield code="d">1970-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1036692701</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures</subfield><subfield code="n">3</subfield><subfield code="d">2003</subfield><subfield code="c">Bertinoro</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10064706-6</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">2804</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">2804</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b13225</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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-016730542</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b13225</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/b13225</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/b13225</subfield><subfield code="l">DE-19</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/b13225</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 2003 Bertinoro gnd-content
genre_facet	Konferenzschrift 2003 Bertinoro
id	DE-604.BV035062036
illustrated	Not Illustrated
index_date	2024-07-02T22:00:49Z
indexdate	2025-01-10T15:09:44Z
institution	BVB
institution_GND	(DE-588)10064706-6
isbn	3540200835
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016730542
oclc_num	1074305367
open_access_boolean
owner	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
owner_facet	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
physical	1 Online-Ressource (VI, 285 S.)
psigel	ZDB-2-LNC
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 for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures Marco Bernardo ... (eds.) Berlin Springer 2003 1 Online-Ressource (VI, 285 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 2804 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 Softwarearchitektur (DE-588)4121677-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2003 Bertinoro gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 Systementwicklung (DE-588)4126945-7 s Softwarearchitektur (DE-588)4121677-5 s Bernardo, Marco 1970- Sonstige (DE-588)1036692701 oth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures 3 2003 Bertinoro Sonstige (DE-588)10064706-6 oth Lecture notes in computer science 2804 (DE-604)BV014880109 2804 https://doi.org/10.1007/b13225 Verlag Volltext
spellingShingle	Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Softwarearchitektur (DE-588)4121677-5 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4126945-7 (DE-588)4121677-5 (DE-588)1071861417
title	Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures
title_auth	Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures
title_exact_search	Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures
title_exact_search_txtP	Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures
title_full	Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures Marco Bernardo ... (eds.)
title_fullStr	Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures Marco Bernardo ... (eds.)
title_full_unstemmed	Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures Marco Bernardo ... (eds.)
title_short	Formal methods for software architectures
title_sort	formal methods for software architectures third international school on formal methods for the design of computer communication and software systems software architectures sfm 2003 bertinoro italy september 22 27 2003 advanced lectures
title_sub	third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures
topic	Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Softwarearchitektur (DE-588)4121677-5 gnd
topic_facet	Formale Methode Softwareentwicklung Systementwicklung Softwarearchitektur Konferenzschrift 2003 Bertinoro
url	https://doi.org/10.1007/b13225
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT bernardomarco formalmethodsforsoftwarearchitecturesthirdinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssoftwarearchitecturessfm2003bertinoroitalyseptember22272003advancedlectures AT internationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssoftwarearchitecturesbertinoro formalmethodsforsoftwarearchitecturesthirdinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssoftwarearchitecturessfm2003bertinoroitalyseptember22272003advancedlectures

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