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: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5522 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 1 Online-Ressource (XII, 248 S.) graph. Darst. |
| ISBN: | 9783642021374 9783642021381 |
| DOI: | 10.1007/978-3-642-02138-1 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035569341 | ||
| 003 | DE-604 | ||
| 005 | 20120220 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 090617s2009 |||| o||u| ||||||eng d | ||
| 020 | |a 9783642021374 |c kart. : EUR 68.43 (freier Pr.), sfr 99.50 (freier Pr.) |9 978-3-642-02137-4 | ||
| 020 | |a 9783642021381 |c Online |9 978-3-642-02138-1 | ||
| 024 | 7 | |a 10.1007/978-3-642-02138-1 |2 doi | |
| 035 | |a (OCoLC)428884812 | ||
| 035 | |a (DE-599)BVBBV035569341 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-19 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-634 | ||
| 082 | 0 | |a 004.36 |2 22/ger | |
| 082 | 0 | |a 005.14 |2 22/ger | |
| 082 | 0 | |a 004.24 |2 22//ger | |
| 082 | 0 | |a 004.24 |2 22/ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 250f |2 stub | ||
| 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 1 Online-Ressource (XII, 248 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 5522 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Software engineering | |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rechnernetz |0 (DE-588)4070085-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 Formale Methode |0 (DE-588)4333722-3 |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 | |
| 655 | 4 | |a Electronic books | |
| 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)BV014880109 |9 5522 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-02138-1 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-LNC |a ZDB-2-SCS | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017624950 | ||
Datensatz im Suchindex
| _version_ | 1804139222106374144 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV035569341 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 DAT 510f DAT 250f |
| collection | ZDB-2-LNC ZDB-2-SCS |
| ctrlnum | (OCoLC)428884812 (DE-599)BVBBV035569341 |
| 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 |
| doi_str_mv | 10.1007/978-3-642-02138-1 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03432nmm a2200817 cb4500</leader><controlfield tag="001">BV035569341</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">090617s2009 |||| o||u| ||||||eng d</controlfield><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="020" ind1=" " ind2=" "><subfield code="a">9783642021381</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-02138-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-02138-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)428884812</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035569341</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-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</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="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="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">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 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="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">1 Online-Ressource (XII, 248 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">5522</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</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">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">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 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">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="655" ind1=" " ind2="4"><subfield code="a">Electronic books</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)BV014880109</subfield><subfield code="9">5522</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-02138-1</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-017624950</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Lissabon gnd-content Electronic books |
| genre_facet | Konferenzschrift 2009 Lissabon Electronic books |
| id | DE-604.BV035569341 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T21:40:39Z |
| institution | BVB |
| institution_GND | (DE-588)5103524-8 (DE-588)16010687-4 |
| isbn | 9783642021374 9783642021381 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017624950 |
| oclc_num | 428884812 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-634 |
| physical | 1 Online-Ressource (XII, 248 S.) graph. Darst. |
| psigel | ZDB-2-LNC ZDB-2-SCS |
| 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 1 Online-Ressource (XII, 248 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 5522 Literaturangaben Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Informatik Computer Communication Networks Computer science Logic design Software engineering Softwaretest (DE-588)4132652-0 gnd rswk-swf Rechnernetz (DE-588)4070085-9 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Formale Methode (DE-588)4333722-3 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 Electronic books 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)BV014880109 5522 https://doi.org/10.1007/978-3-642-02138-1 Verlag Volltext |
| 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 Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Informatik Computer Communication Networks Computer science Logic design Software engineering Softwaretest (DE-588)4132652-0 gnd Rechnernetz (DE-588)4070085-9 gnd Softwarespezifikation (DE-588)4056186-0 gnd Formale Methode (DE-588)4333722-3 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4132652-0 (DE-588)4070085-9 (DE-588)4056186-0 (DE-588)4333722-3 (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 | Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Informatik Computer Communication Networks Computer science Logic design Software engineering Softwaretest (DE-588)4132652-0 gnd Rechnernetz (DE-588)4070085-9 gnd Softwarespezifikation (DE-588)4056186-0 gnd Formale Methode (DE-588)4333722-3 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Informatik Computer Communication Networks Computer science Logic design Software engineering Softwaretest Rechnernetz Softwarespezifikation Formale Methode Formale Spezifikationstechnik Verteiltes System Konferenzschrift 2009 Lissabon Electronic books |
| url | https://doi.org/10.1007/978-3-642-02138-1 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT leedavid formaltechniquesfordistributedsystemsjoint11thifipwg61internationalconferencefmoods2009and29thifipwg61internationalconferenceforte2009lisboaportugaljune9122009proceedings AT internationalfederationforinformationprocessingworkinggrouparchitectureandprotocolsforcomputernetworks formaltechniquesfordistributedsystemsjoint11thifipwg61internationalconferencefmoods2009and29thifipwg61internationalconferenceforte2009lisboaportugaljune9122009proceedings AT internationalconferencefmoodslissabon formaltechniquesfordistributedsystemsjoint11thifipwg61internationalconferencefmoods2009and29thifipwg61internationalconferenceforte2009lisboaportugaljune9122009proceedings |