Verfügbarkeit: Formal techniques for distributed systems

Formal techniques for distributed systems: joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 6722
Schlagworte:	Formale Methode Verteiltes System Paperback / softback Research UML concurrent computing distributed computing formal methods model checking mutli-party computation network computing Konferenzschrift > 2011 > Reykjavik
Online-Zugang:	Volltext
Beschreibung:	1 Online-Ressource (XIV, 348 S.) graph. Darst.
ISBN:	9783642214608 9783642214615
DOI:	10.1007/978-3-642-21461-5

Internformat

MARC


LEADER	00000nmm a2200000 cb4500
001	BV039338805
003	DE-604
005	20110810
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	110802s2011 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783642214608 \|c kart. : EUR 57.78 (DE) (freier Pr.), ca. sfr 102.00 (freier Pr.) \|9 978-3-642-21460-8
020			\|a 9783642214615 \|c Online \|9 978-3-642-21461-5
024	7		\|a 10.1007/978-3-642-21461-5 \|2 doi
035			\|a (OCoLC)873871195
035			\|a (DE-599)BVBBV039338805
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-473 \|a DE-19 \|a DE-91 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-20 \|a DE-703 \|a DE-355 \|a DE-92 \|a DE-Aug4 \|a DE-859 \|a DE-706 \|a DE-634
082	0		\|a 004.36 \|2 22/ger
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 510f \|2 stub
084			\|a DAT 000 \|2 stub
084			\|a DAT 250f \|2 stub
245	1	0	\|a Formal techniques for distributed systems \|b joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings \|c Roberto Bruni ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2011
300			\|a 1 Online-Ressource (XIV, 348 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 6722
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verteiltes System \|0 (DE-588)4238872-7 \|2 gnd \|9 rswk-swf
653			\|a Paperback / softback
653			\|a Research
653			\|a UML
653			\|a concurrent computing
653			\|a distributed computing
653			\|a formal methods
653			\|a model checking
653			\|a mutli-party computation
653			\|a network computing
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2011 \|z Reykjavik \|2 gnd-content
689	0	0	\|a Verteiltes System \|0 (DE-588)4238872-7 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
700	1		\|a Bruni, Roberto \|e Sonstige \|4 oth
710	2		\|a International Federation for Information Processing \|b Working Group Architecture and Protocols for Computer Networks \|e Sonstige \|0 (DE-588)5103524-8 \|4 oth
711	2		\|a FMOODS \|n 13 \|d 2011 \|c Reykjavík \|j Sonstige \|0 (DE-588)16159433-5 \|4 oth
830		0	\|a Lecture notes in computer science \|v 6722 \|w (DE-604)BV014880109 \|9 6722
856	4	0	\|u https://doi.org/10.1007/978-3-642-21461-5 \|x Verlag \|3 Volltext
912			\|a ZDB-2-LNC \|a ZDB-2-SCS
999			\|a oai:aleph.bib-bvb.de:BVB01-024189024

Datensatz im Suchindex

_version_	1804148025708249088
any_adam_object
building	Verbundindex
bvnumber	BV039338805
classification_rvk	SS 4800
classification_tum	DAT 510f DAT 000 DAT 250f
collection	ZDB-2-LNC ZDB-2-SCS
ctrlnum	(OCoLC)873871195 (DE-599)BVBBV039338805
dewey-full	004.36
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.36
dewey-search	004.36
dewey-sort	14.36
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-642-21461-5
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02540nmm a2200601 cb4500</leader><controlfield tag="001">BV039338805</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110810 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">110802s2011 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642214608</subfield><subfield code="c">kart. : EUR 57.78 (DE) (freier Pr.), ca. sfr 102.00 (freier Pr.)</subfield><subfield code="9">978-3-642-21460-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642214615</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-21461-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-21461-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)873871195</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039338805</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-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.36</subfield><subfield code="2">22/ger</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 510f</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 250f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques for distributed systems</subfield><subfield code="b">joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings</subfield><subfield code="c">Roberto Bruni ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 348 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">6722</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">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Paperback / softback</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Research</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">UML</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">concurrent computing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">distributed computing</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal methods</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">model checking</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">mutli-party computation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">network computing</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Reykjavik</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</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="700" ind1="1" ind2=" "><subfield code="a">Bruni, Roberto</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation for Information Processing</subfield><subfield code="b">Working Group Architecture and Protocols for Computer Networks</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)5103524-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FMOODS</subfield><subfield code="n">13</subfield><subfield code="d">2011</subfield><subfield code="c">Reykjavík</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16159433-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">6722</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">6722</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-21461-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024189024</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Reykjavik gnd-content
genre_facet	Konferenzschrift 2011 Reykjavik
id	DE-604.BV039338805
illustrated	Not Illustrated
indexdate	2024-07-10T00:00:35Z
institution	BVB
institution_GND	(DE-588)5103524-8 (DE-588)16159433-5
isbn	9783642214608 9783642214615
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024189024
oclc_num	873871195
open_access_boolean
owner	DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-20 DE-703 DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-706 DE-634
owner_facet	DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-20 DE-703 DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-706 DE-634
physical	1 Online-Ressource (XIV, 348 S.) graph. Darst.
psigel	ZDB-2-LNC ZDB-2-SCS
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings Roberto Bruni ... (eds.) Berlin [u.a.] Springer 2011 1 Online-Ressource (XIV, 348 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 6722 Formale Methode (DE-588)4333722-3 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Paperback / softback Research UML concurrent computing distributed computing formal methods model checking mutli-party computation network computing (DE-588)1071861417 Konferenzschrift 2011 Reykjavik gnd-content Verteiltes System (DE-588)4238872-7 s Formale Methode (DE-588)4333722-3 s DE-604 Bruni, Roberto Sonstige oth International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks Sonstige (DE-588)5103524-8 oth FMOODS 13 2011 Reykjavík Sonstige (DE-588)16159433-5 oth Lecture notes in computer science 6722 (DE-604)BV014880109 6722 https://doi.org/10.1007/978-3-642-21461-5 Verlag Volltext
spellingShingle	Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Verteiltes System (DE-588)4238872-7 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4238872-7 (DE-588)1071861417
title	Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings
title_auth	Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings
title_exact_search	Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings
title_full	Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings Roberto Bruni ... (eds.)
title_fullStr	Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings Roberto Bruni ... (eds.)
title_full_unstemmed	Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings Roberto Bruni ... (eds.)
title_short	Formal techniques for distributed systems
title_sort	formal techniques for distributed systems joint 13th ifip wg 6 1 international conference fmoods 2011 and 30th ifip wg 6 1 international conference forte 2011 reykjavik island june 6 9 proceedings
title_sub	joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Verteiltes System (DE-588)4238872-7 gnd
topic_facet	Formale Methode Verteiltes System Konferenzschrift 2011 Reykjavik
url	https://doi.org/10.1007/978-3-642-21461-5
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT bruniroberto formaltechniquesfordistributedsystemsjoint13thifipwg61internationalconferencefmoods2011and30thifipwg61internationalconferenceforte2011reykjavikislandjune69proceedings AT internationalfederationforinformationprocessingworkinggrouparchitectureandprotocolsforcomputernetworks formaltechniquesfordistributedsystemsjoint13thifipwg61internationalconferencefmoods2011and30thifipwg61internationalconferenceforte2011reykjavikislandjune69proceedings AT fmoodsreykjavik formaltechniquesfordistributedsystemsjoint13thifipwg61internationalconferencefmoods2011and30thifipwg61internationalconferenceforte2011reykjavikislandjune69proceedings

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