Formal methods for mobile computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005 ; advanced lectures
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2005
|
| Schriftenreihe: | Lecture notes in computer science
3465 : Tutorial |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext |
| Beschreibung: | Literaturangaben |
| Beschreibung: | VI, 270 S. Ill., graph. Darst. |
| ISBN: | 3540256970 9783540256977 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV019819866 | ||
| 003 | DE-604 | ||
| 005 | 20050601 | ||
| 007 | t| | ||
| 008 | 050524s2005 gw ad|| |||| 10||| eng d | ||
| 015 | |a 05,N16,0011 |2 dnb | ||
| 015 | |a 05,A22,0012 |2 dnb | ||
| 016 | 7 | |a 97422622X |2 DE-101 | |
| 020 | |a 3540256970 |c kart. : EUR 47.08 (freier Pr.), sfr 80.50 (freier Pr.) |9 3-540-25697-0 | ||
| 020 | |a 9783540256977 |9 978-3-540-25697-7 | ||
| 020 | |a 9783540256977 |c kart. : EUR 47.08 (freier Pr.), sfr 80.50 (freier Pr.) |9 978-3-540-25697-7 | ||
| 024 | 3 | |a 9783540256977 | |
| 028 | 5 | 2 | |a 11419822 |
| 035 | |a (OCoLC)59616880 | ||
| 035 | |a (DE-599)BVBBV019819866 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-739 |a DE-91G |a DE-473 |a DE-706 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.59 | |
| 082 | 0 | |a 004 | |
| 082 | 0 | |a 005.13/1 |2 22 | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 250f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 256f |2 stub | ||
| 245 | 1 | 0 | |a Formal methods for mobile computing |b 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005 ; advanced lectures |c Marco Bernardo ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
| 300 | |a VI, 270 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 3465 : Tutorial | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Conception de systèmes |2 rasuqam | |
| 650 | 7 | |a Informatique mobile |2 rasuqam | |
| 650 | 7 | |a Méthode formelle |2 rasuqam | |
| 650 | 7 | |a Système de communication mobile |2 rasuqam | |
| 650 | 4 | |a Computer software |x Development |v Congresses | |
| 650 | 4 | |a Formal methods (Computer science) |v Congresses | |
| 650 | 4 | |a Mobile communication systems |v Congresses | |
| 650 | 4 | |a Mobile computing |v Congresses | |
| 650 | 4 | |a System design |v Congresses | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |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 Verteilte Programmierung |0 (DE-588)4421492-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mobile Computing |0 (DE-588)4694120-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwurf |0 (DE-588)4261480-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2005 |z Bertinoro |2 gnd-content | |
| 689 | 0 | 0 | |a Mobile Computing |0 (DE-588)4694120-4 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mobile Computing |0 (DE-588)4694120-4 |D s |
| 689 | 1 | 1 | |a Verteilte Programmierung |0 (DE-588)4421492-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Mobile Computing |0 (DE-588)4694120-4 |D s |
| 689 | 2 | 1 | |a Systementwurf |0 (DE-588)4261480-6 |D s |
| 689 | 2 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Mobile Computing |0 (DE-588)4694120-4 |D s |
| 689 | 3 | 1 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 3 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 3 | |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 |n 5 |d 2005 |c Bertinoro |j Sonstige |0 (DE-588)16033603-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 3465 : Tutorial |w (DE-604)BV000000607 |9 3465 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=2612722&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-013145153 | |
Datensatz im Suchindex
| _version_ | 1820874957666648064 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)1036692701 |
| building | Verbundindex |
| bvnumber | BV019819866 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.59 |
| callnumber-search | QA76.59 |
| callnumber-sort | QA 276.59 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 250f DAT 256f |
| ctrlnum | (OCoLC)59616880 (DE-599)BVBBV019819866 |
| dewey-full | 004 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security |
| dewey-raw | 004 005.13/1 |
| dewey-search | 004 005.13/1 |
| dewey-sort | 14 |
| 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">BV019819866</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050601</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">050524s2005 gw ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,N16,0011</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,A22,0012</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">97422622X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540256970</subfield><subfield code="c">kart. : EUR 47.08 (freier Pr.), sfr 80.50 (freier Pr.)</subfield><subfield code="9">3-540-25697-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540256977</subfield><subfield code="9">978-3-540-25697-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540256977</subfield><subfield code="c">kart. : EUR 47.08 (freier Pr.), sfr 80.50 (freier Pr.)</subfield><subfield code="9">978-3-540-25697-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540256977</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11419822</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)59616880</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019819866</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.59</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">22</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="084" ind1=" " ind2=" "><subfield code="a">DAT 256f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods for mobile computing</subfield><subfield code="b">5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005 ; advanced lectures</subfield><subfield code="c">Marco Bernardo ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 270 S.</subfield><subfield code="b">Ill., 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">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">3465 : Tutorial</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conception de systèmes</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique mobile</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Méthode formelle</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Système de communication mobile</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</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">Mobile communication systems</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mobile computing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield><subfield code="v">Congresses</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">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">Verteilte Programmierung</subfield><subfield code="0">(DE-588)4421492-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mobile Computing</subfield><subfield code="0">(DE-588)4694120-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</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">2005</subfield><subfield code="z">Bertinoro</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mobile Computing</subfield><subfield code="0">(DE-588)4694120-4</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">Mobile Computing</subfield><subfield code="0">(DE-588)4694120-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Verteilte Programmierung</subfield><subfield code="0">(DE-588)4421492-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">Mobile Computing</subfield><subfield code="0">(DE-588)4694120-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><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="689" ind1="3" ind2="0"><subfield code="a">Mobile Computing</subfield><subfield code="0">(DE-588)4694120-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" 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</subfield><subfield code="n">5</subfield><subfield code="d">2005</subfield><subfield code="c">Bertinoro</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16033603-X</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">3465 : Tutorial</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3465</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2612722&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013145153</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2005 Bertinoro gnd-content |
| genre_facet | Konferenzschrift 2005 Bertinoro |
| id | DE-604.BV019819866 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:08:00Z |
| institution | BVB |
| institution_GND | (DE-588)16033603-X |
| isbn | 3540256970 9783540256977 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013145153 |
| oclc_num | 59616880 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-706 DE-83 DE-11 DE-188 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-706 DE-83 DE-11 DE-188 |
| physical | VI, 270 S. Ill., graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005 ; advanced lectures Marco Bernardo ... (eds.) Berlin [u.a.] Springer 2005 VI, 270 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 3465 : Tutorial Literaturangaben Conception de systèmes rasuqam Informatique mobile rasuqam Méthode formelle rasuqam Système de communication mobile rasuqam Computer software Development Congresses Formal methods (Computer science) Congresses Mobile communication systems Congresses Mobile computing Congresses System design Congresses Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Verteilte Programmierung (DE-588)4421492-3 gnd rswk-swf Mobile Computing (DE-588)4694120-4 gnd rswk-swf Systementwurf (DE-588)4261480-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2005 Bertinoro gnd-content Mobile Computing (DE-588)4694120-4 s Formale Methode (DE-588)4333722-3 s DE-604 Verteilte Programmierung (DE-588)4421492-3 s Systementwurf (DE-588)4261480-6 s Softwareentwicklung (DE-588)4116522-6 s Bernardo, Marco 1970- Sonstige (DE-588)1036692701 oth International School on Formal Methods for the Design of Computer, Communication, and Software Systems 5 2005 Bertinoro Sonstige (DE-588)16033603-X oth Lecture notes in computer science 3465 : Tutorial (DE-604)BV000000607 3465 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=2612722&prov=M&dok_var=1&dok_ext=htm Inhaltstext |
| spellingShingle | Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005 ; advanced lectures Lecture notes in computer science Conception de systèmes rasuqam Informatique mobile rasuqam Méthode formelle rasuqam Système de communication mobile rasuqam Computer software Development Congresses Formal methods (Computer science) Congresses Mobile communication systems Congresses Mobile computing Congresses System design Congresses Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Verteilte Programmierung (DE-588)4421492-3 gnd Mobile Computing (DE-588)4694120-4 gnd Systementwurf (DE-588)4261480-6 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4333722-3 (DE-588)4421492-3 (DE-588)4694120-4 (DE-588)4261480-6 (DE-588)1071861417 |
| title | Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005 ; advanced lectures |
| title_auth | Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005 ; advanced lectures |
| title_exact_search | Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005 ; advanced lectures |
| title_full | Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005 ; advanced lectures Marco Bernardo ... (eds.) |
| title_fullStr | Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005 ; advanced lectures Marco Bernardo ... (eds.) |
| title_full_unstemmed | Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005 ; advanced lectures Marco Bernardo ... (eds.) |
| title_short | Formal methods for mobile computing |
| title_sort | formal methods for mobile computing 5th international school on formal methods for the design of computer communication and software systems sfm moby 2005 bertinoro italy april 26 30 2005 advanced lectures |
| title_sub | 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005 ; advanced lectures |
| topic | Conception de systèmes rasuqam Informatique mobile rasuqam Méthode formelle rasuqam Système de communication mobile rasuqam Computer software Development Congresses Formal methods (Computer science) Congresses Mobile communication systems Congresses Mobile computing Congresses System design Congresses Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Verteilte Programmierung (DE-588)4421492-3 gnd Mobile Computing (DE-588)4694120-4 gnd Systementwurf (DE-588)4261480-6 gnd |
| topic_facet | Conception de systèmes Informatique mobile Méthode formelle Système de communication mobile Computer software Development Congresses Formal methods (Computer science) Congresses Mobile communication systems Congresses Mobile computing Congresses System design Congresses Softwareentwicklung Formale Methode Verteilte Programmierung Mobile Computing Systementwurf Konferenzschrift 2005 Bertinoro |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=2612722&prov=M&dok_var=1&dok_ext=htm |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bernardomarco formalmethodsformobilecomputing5thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfmmoby2005bertinoroitalyapril26302005advancedlectures AT internationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemsbertinoro formalmethodsformobilecomputing5thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfmmoby2005bertinoroitalyapril26302005advancedlectures |