Formal techniques for distributed systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009, and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9 - 12, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5522 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XII, 248 S. graph. Darst. 24 cm |
| ISBN: | 9783642021374 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035554151 | ||
| 003 | DE-604 | ||
| 005 | 20120220 | ||
| 007 | t| | ||
| 008 | 090608s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N21,0049 |2 dnb | ||
| 016 | 7 | |a 994038623 |2 DE-101 | |
| 020 | |a 9783642021374 |c kart. : EUR 68.43 (freier Pr.), sfr 99.50 (freier Pr.) |9 978-3-642-02137-4 | ||
| 024 | 3 | |a 9783642021374 | |
| 028 | 5 | 2 | |a 12687480 |
| 035 | |a (OCoLC)391524481 | ||
| 035 | |a (DE-599)DNB994038623 | ||
| 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 | ||
| 082 | 0 | |a 004.36 |2 22/ger | |
| 082 | 0 | |a 005.14 |2 22/ger | |
| 082 | 0 | |a 004.24 |2 22/ger | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 250f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Formal techniques for distributed systems |b Joint 11th IFIP WG 6.1 International Conference FMOODS 2009, and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9 - 12, 2009 ; proceedings |c David Lee ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XII, 248 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 5522 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Computer network protocols |v Congresses | |
| 650 | 4 | |a Electronic data processing |x Distributed processing |v Congresses | |
| 650 | 4 | |a Formal methods (Computer science) |v Congresses | |
| 650 | 4 | |a Object-oriented programming (Computer science) |v Congresses | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rechnernetz |0 (DE-588)4070085-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 Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Lissabon |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 | |
| 689 | 1 | 0 | |a Rechnernetz |0 (DE-588)4070085-9 |D s |
| 689 | 1 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 1 | 2 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |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 | |
| 700 | 1 | |a Lee, David |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 International Conference FMOODS |n 11 |d 2009 |c Lissabon |j Sonstige |0 (DE-588)16010687-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5522 |w (DE-604)BV000000607 |9 5522 | |
| 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=017610004&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017610004 | |
Datensatz im Suchindex
| _version_ | 1820875126393012224 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED CONTRIBUTION THE ORC PROGRAMMING LANGUAGE 1
DAVID KITCHIN, ADRIAN QUARK, WILLIAM COOK, AND JAYADEV MISRA REGULAER
CONTRIBUTIONS KEEP IT SMALL, KEEP IT REAL: EFFICIENT RUN-TIME
VERIFIKATION OF WEB SERVICE COMPOSITIONS 26 LUCIANO BARESI, DOMENICO
BIANCULLI, SAM GUINEA, AND PAOLA SPOLETINI APPROXIMATED
CONTEXT-SENSITIVE ANALYSIS FOR PARAMETERIZED VERIFICATION 41 PAROSH AZIZ
ABDULLA, GIORGIO DELZANNO, AND AHMED REZINE VERIFICATION OF
PARAMETERIZED SYSTEMS WITH COMBINATIONS OF ABSTRACT DOMAINS 57 NAGHMEH
GHAFARI, ARIE GURFINKEL, AND RICHARD TREFLER ON MODEL-CHECKING
OPTIMISTIC REPLICATION ALGORITHMS 73 HANIFA BOUCHENEB AND ABDESSAMAD
IMINE RECURSIVE PARAMETRIC AUTOMATA AND E-REMOVAL 90 HIN LIU AND
JONATHAN BILLINGTON A SOFTWARE PLATFORM FOR TIMED MOBILITY AND TIMED
INTERACTION 106 GABRIEL CIOBANU AND CAELIN JURAVLE MODELING, VALIDATION,
AND VERIFICATION OF PCEP USING THE IF LANGUAGE 122 IKSOON HWANG, MOUNIR
LALLALI, ANA CAVALLI, AND DOMINIQUE VERCHERE DISTINGUING
NON-DETERMINISTIC TIMED FINITE STATE MACHINES 137 MAXIM GROMOV, KHALED
EL-FAKIH, NATALIA SHABALDINA, AND NINA YEVTUSHENKO SYSTEM MODEL-BASED
DEFINITION OF MODELING LANGUAGE SEMANTICS 152 HANS GRANNIGER, JAN OLIVER
RINGERT, AND BERNHARD RUMPE TYPIN BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/994038623 DIGITALISIERT DURCH XII TABLE OF CONTENTS
EPISTEMIC LOGIC FOR THE APPLIED PI CALCULUS 182 ROHIT CHADHA, STEPHANIE
DELAUNE, AND STEVE KREMER ON PROCESS-ALGEBRAIC PROOF METHODS FOR FAULT
TOLERANT DISTRIBUTED SYSTEMS 198 MORTEN KUEHNRICH AND UWE NESTMANN SHORT
PAPERS USING FIRST-ORDER LOGIC TO REASON ABOUT SUBMODULE CONSTRUCTION
213 GREGOR V. BOCHMANN A MODEL-CHECKING APPROACH FOR SERVICE COMPONENT
ARCHITECTURES 219 JOAEO ABREU, FRANCO MAZZANTI, JOSE LUIZ FIADEIRO, AND
STEFANIA GNESI DYNAMIC SYMBOLIC EXECUTION OF DISTRIBUTED CONCURRENT
OBJECTS 225 ANDREAS GRIESMAYER, BERNHARD AICHERNIG, EINAR BROCH JOHNSEN,
AND RUDOLF SCHLATTE CHECKING THE CONFORMANCE OF ORCHESTRATIONS WITH
RESPECT TO CHOREOGRAPHIES IN WEB SERVICES: A FORMAL APPROACH 231
GREGORIO DIAZ AND ISMAEL RODRIGUEZ A TYPE GRAPH MODEL FOR JAVA PROGRAMS
237 AREND RENSINK AND EDUARDO ZAMBON CONFORMANCE TESTING OF NETWORK
SIMULATORS BASED ON METAMORPHIC TESTING TECHNIQUE 243 TSONG YUEH CHEN,
FEI-CHING KUO, HUAI HU, AND SHENGQIONG WANG AUTHOR INDEX 249 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035554151 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 250f |
| ctrlnum | (OCoLC)391524481 (DE-599)DNB994038623 |
| dewey-full | 004.36 005.14 004.24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
| dewey-raw | 004.36 005.14 004.24 |
| dewey-search | 004.36 005.14 004.24 |
| dewey-sort | 14.36 |
| 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">BV035554151</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120220</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090608s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N21,0049</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994038623</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642021374</subfield><subfield code="c">kart. : EUR 68.43 (freier Pr.), sfr 99.50 (freier Pr.)</subfield><subfield code="9">978-3-642-02137-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642021374</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12687480</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)391524481</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994038623</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="082" ind1="0" ind2=" "><subfield code="a">004.36</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">22/ger</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 250f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques for distributed systems</subfield><subfield code="b">Joint 11th IFIP WG 6.1 International Conference FMOODS 2009, and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9 - 12, 2009 ; proceedings</subfield><subfield code="c">David Lee ... (ed.)</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">XII, 248 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">5522</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield><subfield code="v">Congresses</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=" " ind2="4"><subfield code="a">Object-oriented programming (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">Rechnernetz</subfield><subfield code="0">(DE-588)4070085-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">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">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2009</subfield><subfield code="z">Lissabon</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="689" ind1="1" ind2="0"><subfield code="a">Rechnernetz</subfield><subfield code="0">(DE-588)4070085-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</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="700" ind1="1" ind2=" "><subfield code="a">Lee, David</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">International Conference FMOODS</subfield><subfield code="n">11</subfield><subfield code="d">2009</subfield><subfield code="c">Lissabon</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16010687-4</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">5522</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5522</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=017610004&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-017610004</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Lissabon gnd-content |
| genre_facet | Konferenzschrift 2009 Lissabon |
| id | DE-604.BV035554151 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:40Z |
| institution | BVB |
| institution_GND | (DE-588)5103524-8 (DE-588)16010687-4 |
| isbn | 9783642021374 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017610004 |
| oclc_num | 391524481 |
| 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 | XII, 248 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 | Formal techniques for distributed systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009, and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9 - 12, 2009 ; proceedings David Lee ... (ed.) Berlin [u.a.] Springer 2009 XII, 248 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5522 Literaturangaben Datenverarbeitung Computer network protocols Congresses Electronic data processing Distributed processing Congresses Formal methods (Computer science) Congresses Object-oriented programming (Computer science) Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Rechnernetz (DE-588)4070085-9 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Lissabon gnd-content Verteiltes System (DE-588)4238872-7 s Formale Methode (DE-588)4333722-3 s DE-604 Rechnernetz (DE-588)4070085-9 s Softwarespezifikation (DE-588)4056186-0 s Formale Spezifikationstechnik (DE-588)4299725-2 s Softwaretest (DE-588)4132652-0 s Lee, David Sonstige oth International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks Sonstige (DE-588)5103524-8 oth International Conference FMOODS 11 2009 Lissabon Sonstige (DE-588)16010687-4 oth Lecture notes in computer science 5522 (DE-604)BV000000607 5522 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017610004&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal techniques for distributed systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009, and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9 - 12, 2009 ; proceedings Lecture notes in computer science Datenverarbeitung Computer network protocols Congresses Electronic data processing Distributed processing Congresses Formal methods (Computer science) Congresses Object-oriented programming (Computer science) Congresses Formale Methode (DE-588)4333722-3 gnd Rechnernetz (DE-588)4070085-9 gnd Softwaretest (DE-588)4132652-0 gnd Softwarespezifikation (DE-588)4056186-0 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4070085-9 (DE-588)4132652-0 (DE-588)4056186-0 (DE-588)4299725-2 (DE-588)4238872-7 (DE-588)1071861417 |
| title | Formal techniques for distributed systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009, and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9 - 12, 2009 ; proceedings |
| title_auth | Formal techniques for distributed systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009, and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9 - 12, 2009 ; proceedings |
| title_exact_search | Formal techniques for distributed systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009, and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9 - 12, 2009 ; proceedings |
| title_full | Formal techniques for distributed systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009, and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9 - 12, 2009 ; proceedings David Lee ... (ed.) |
| title_fullStr | Formal techniques for distributed systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009, and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9 - 12, 2009 ; proceedings David Lee ... (ed.) |
| title_full_unstemmed | Formal techniques for distributed systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009, and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9 - 12, 2009 ; proceedings David Lee ... (ed.) |
| title_short | Formal techniques for distributed systems |
| title_sort | formal techniques for distributed systems joint 11th ifip wg 6 1 international conference fmoods 2009 and 29th ifip wg 6 1 international conference forte 2009 lisboa portugal june 9 12 2009 proceedings |
| title_sub | Joint 11th IFIP WG 6.1 International Conference FMOODS 2009, and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9 - 12, 2009 ; proceedings |
| topic | Datenverarbeitung Computer network protocols Congresses Electronic data processing Distributed processing Congresses Formal methods (Computer science) Congresses Object-oriented programming (Computer science) Congresses Formale Methode (DE-588)4333722-3 gnd Rechnernetz (DE-588)4070085-9 gnd Softwaretest (DE-588)4132652-0 gnd Softwarespezifikation (DE-588)4056186-0 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Datenverarbeitung Computer network protocols Congresses Electronic data processing Distributed processing Congresses Formal methods (Computer science) Congresses Object-oriented programming (Computer science) Congresses Formale Methode Rechnernetz Softwaretest Softwarespezifikation Formale Spezifikationstechnik Verteiltes System Konferenzschrift 2009 Lissabon |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017610004&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT leedavid formaltechniquesfordistributedsystemsjoint11thifipwg61internationalconferencefmoods2009and29thifipwg61internationalconferenceforte2009lisboaportugaljune9122009proceedings AT internationalfederationforinformationprocessingworkinggrouparchitectureandprotocolsforcomputernetworks formaltechniquesfordistributedsystemsjoint11thifipwg61internationalconferencefmoods2009and29thifipwg61internationalconferenceforte2009lisboaportugaljune9122009proceedings AT internationalconferencefmoodslissabon formaltechniquesfordistributedsystemsjoint11thifipwg61internationalconferencefmoods2009and29thifipwg61internationalconferenceforte2009lisboaportugaljune9122009proceedings |