Formal methods for quantitative aspects of programming languages: 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6154 Lecture notes in computer science |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Lectures Includes bibliographical references and author index |
| Beschreibung: | 1 Online-Ressource (167 pages) |
| ISBN: | 9783642136788 3642136788 9781280387227 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV041905994 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140612s2010 xx o|||| 00||| eng d | ||
| 020 | |a 9783642136788 |9 978-3-642-13678-8 | ||
| 020 | |a 3642136788 |9 3-642-13678-8 | ||
| 020 | |a 9781280387227 |c MyiLibrary |9 978-1-280-38722-7 | ||
| 035 | |a (OCoLC)817075113 | ||
| 035 | |a (DE-599)BVBBV041905994 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 005.13/1 |2 22 | |
| 110 | 2 | |a International School on Formal Methods for the Design of Computer, Communication, and Software Systems < 2010, Bertinoro, Italy> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Formal methods for quantitative aspects of programming languages |b 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures |c Alessandro Aldini [and others] (eds.) |
| 246 | 1 | 3 | |a SFM 2010 |
| 264 | 1 | |a Berlin |b Springer |c 2010 | |
| 300 | |a 1 Online-Ressource (167 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in computer science |v 6154 | |
| 490 | 0 | |a Lecture notes in computer science | |
| 500 | |a Lectures | ||
| 500 | |a Includes bibliographical references and author index | ||
| 650 | 4 | |a Computing Methodologies / Congresses | |
| 650 | 4 | |a Programming Languages / Congresses | |
| 650 | 4 | |a Formal methods (Computer science) / Congresses | |
| 650 | 4 | |a Programming languages (Electronic computers) / Congresses | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 1 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 2 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Aldini, Alessandro |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-642-13677-1 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 3-642-13677-X |
| 856 | 4 | 0 | |u http://lib.myilibrary.com?id=356514 |x Aggregator |3 Volltext |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-26-MYL | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027349664 | |
Datensatz im Suchindex
| _version_ | 1820875572834729984 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_corporate | International School on Formal Methods for the Design of Computer, Communication, and Software Systems < 2010, Bertinoro, Italy> |
| author_corporate_role | aut |
| author_facet | International School on Formal Methods for the Design of Computer, Communication, and Software Systems < 2010, Bertinoro, Italy> |
| author_sort | International School on Formal Methods for the Design of Computer, Communication, and Software Systems < 2010, Bertinoro, Italy> |
| building | Verbundindex |
| bvnumber | BV041905994 |
| classification_rvk | SS 4800 |
| collection | ZDB-26-MYL |
| ctrlnum | (OCoLC)817075113 (DE-599)BVBBV041905994 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic 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">BV041905994</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140612s2010 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642136788</subfield><subfield code="9">978-3-642-13678-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642136788</subfield><subfield code="9">3-642-13678-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280387227</subfield><subfield code="c">MyiLibrary</subfield><subfield code="9">978-1-280-38722-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)817075113</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041905994</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="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">International School on Formal Methods for the Design of Computer, Communication, and Software Systems < 2010, Bertinoro, Italy></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods for quantitative aspects of programming languages</subfield><subfield code="b">10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures</subfield><subfield code="c">Alessandro Aldini [and others] (eds.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">SFM 2010</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (167 pages)</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="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6154</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Lectures</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and author index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computing Methodologies / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science) / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers) / 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">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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Aldini, Alessandro</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-13677-1</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">3-642-13677-X</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://lib.myilibrary.com?id=356514</subfield><subfield code="x">Aggregator</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="912" ind1=" " ind2=" "><subfield code="a">ZDB-26-MYL</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027349664</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV041905994 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:17:47Z |
| institution | BVB |
| isbn | 9783642136788 3642136788 9781280387227 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027349664 |
| oclc_num | 817075113 |
| open_access_boolean | |
| physical | 1 Online-Ressource (167 pages) |
| psigel | ZDB-26-MYL |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series2 | Lecture notes in computer science |
| spelling | International School on Formal Methods for the Design of Computer, Communication, and Software Systems < 2010, Bertinoro, Italy> Verfasser aut Formal methods for quantitative aspects of programming languages 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures Alessandro Aldini [and others] (eds.) SFM 2010 Berlin Springer 2010 1 Online-Ressource (167 pages) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 6154 Lecture notes in computer science Lectures Includes bibliographical references and author index Computing Methodologies / Congresses Programming Languages / Congresses Formal methods (Computer science) / Congresses Programming languages (Electronic computers) / Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Formale Methode (DE-588)4333722-3 s Programmiersprache (DE-588)4047409-4 s Programmanalyse (DE-588)4175841-9 s 1\p DE-604 Aldini, Alessandro Sonstige oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-13677-1 Erscheint auch als Druck-Ausgabe, Paperback 3-642-13677-X http://lib.myilibrary.com?id=356514 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Formal methods for quantitative aspects of programming languages 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures Computing Methodologies / Congresses Programming Languages / Congresses Formal methods (Computer science) / Congresses Programming languages (Electronic computers) / Congresses Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Formal methods for quantitative aspects of programming languages 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures |
| title_alt | SFM 2010 |
| title_auth | Formal methods for quantitative aspects of programming languages 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures |
| title_exact_search | Formal methods for quantitative aspects of programming languages 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures |
| title_full | Formal methods for quantitative aspects of programming languages 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures Alessandro Aldini [and others] (eds.) |
| title_fullStr | Formal methods for quantitative aspects of programming languages 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures Alessandro Aldini [and others] (eds.) |
| title_full_unstemmed | Formal methods for quantitative aspects of programming languages 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures Alessandro Aldini [and others] (eds.) |
| title_short | Formal methods for quantitative aspects of programming languages |
| title_sort | formal methods for quantitative aspects of programming languages 10th international school on formal methods for the design of computer communication and software systems sfm 2010 bertinoro italy june 21 26 2010 advanced lectures |
| title_sub | 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures |
| topic | Computing Methodologies / Congresses Programming Languages / Congresses Formal methods (Computer science) / Congresses Programming languages (Electronic computers) / Congresses Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Computing Methodologies / Congresses Programming Languages / Congresses Formal methods (Computer science) / Congresses Programming languages (Electronic computers) / Congresses Formale Methode Programmanalyse Programmiersprache Konferenzschrift |
| url | http://lib.myilibrary.com?id=356514 |
| work_keys_str_mv | AT internationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystems2010bertinoroitaly formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures AT aldinialessandro formalmethodsforquantitativeaspectsofprogramminglanguages10thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2010bertinoroitalyjune21262010advancedlectures AT internationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystems2010bertinoroitaly sfm2010 AT aldinialessandro sfm2010 |