Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2005
|
| Schriftenreihe: | Lecture notes in computer science
3393 : Festschrift |
| Schlagworte: | |
| Beschreibung: | XXVII, 411 S. Ill., graph. Darst. |
| ISBN: | 3540249362 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV019709697 | ||
| 003 | DE-604 | ||
| 005 | 20051222 | ||
| 007 | t| | ||
| 008 | 050223s2005 xx ad|| |||| 01||| eng d | ||
| 020 | |a 3540249362 |9 3-540-24936-2 | ||
| 035 | |a (OCoLC)58472771 | ||
| 035 | |a (DE-599)BVBBV019709697 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-473 |a DE-824 |a DE-703 |a DE-706 |a DE-19 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.9.F67 | |
| 082 | 0 | |a 004/.01/51 |2 22 | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 003f |2 stub | ||
| 245 | 1 | 0 | |a Formal methods in software and systems modeling |b essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday |c Hans-Jörg Kreowski ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
| 300 | |a XXVII, 411 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 3393 : Festschrift | |
| 650 | 7 | |a Conception de logiciels |2 rasuqam | |
| 650 | 7 | |a Conception de systèmes |2 rasuqam | |
| 650 | 4 | |a Logiciels | |
| 650 | 7 | |a Méthode formelle |2 rasuqam | |
| 650 | 4 | |a Méthodes formelles (Informatique) | |
| 650 | 7 | |a Spécification algébrique |2 rasuqam | |
| 650 | 4 | |a Systèmes informatiques - Conception | |
| 650 | 7 | |a Transformation de graphes |2 rasuqam | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Computer systems |x Design | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemmodell |0 (DE-588)4304916-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Graphersetzungssystem |0 (DE-588)4274073-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Systemmodell |0 (DE-588)4304916-3 |D s |
| 689 | 1 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Graphersetzungssystem |0 (DE-588)4274073-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Kreowski, Hans-Jörg |e Sonstige |4 oth | |
| 700 | 1 | |a Ehrig, Hartmut |d 1944-2016 |0 (DE-588)107905582 |4 hnr | |
| 830 | 0 | |a Lecture notes in computer science |v 3393 : Festschrift |w (DE-604)BV000000607 |9 3393 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-013037086 | |
Datensatz im Suchindex
| _version_ | 1820874956309790720 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)107905582 |
| building | Verbundindex |
| bvnumber | BV019709697 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.F67 |
| callnumber-search | QA76.9.F67 |
| callnumber-sort | QA 276.9 F67 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 003f |
| ctrlnum | (OCoLC)58472771 (DE-599)BVBBV019709697 |
| dewey-full | 004/.01/51 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/51 |
| dewey-search | 004/.01/51 |
| dewey-sort | 14 11 251 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | 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">BV019709697</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20051222</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">050223s2005 xx ad|| |||| 01||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540249362</subfield><subfield code="9">3-540-24936-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)58472771</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019709697</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</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-824</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.F67</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/51</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 003f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods in software and systems modeling</subfield><subfield code="b">essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday</subfield><subfield code="c">Hans-Jörg Kreowski ... (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">XXVII, 411 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">3393 : Festschrift</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conception de logiciels</subfield><subfield code="2">rasuqam</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="4"><subfield code="a">Logiciels</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="4"><subfield code="a">Méthodes formelles (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Spécification algébrique</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes informatiques - Conception</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Transformation de graphes</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer systems</subfield><subfield code="x">Design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</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">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">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemmodell</subfield><subfield code="0">(DE-588)4304916-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</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">Systemmodell</subfield><subfield code="0">(DE-588)4304916-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-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">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</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">Kreowski, Hans-Jörg</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ehrig, Hartmut</subfield><subfield code="d">1944-2016</subfield><subfield code="0">(DE-588)107905582</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">3393 : Festschrift</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3393</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013037086</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Aufsatzsammlung Festschrift |
| id | DE-604.BV019709697 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:58Z |
| institution | BVB |
| isbn | 3540249362 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013037086 |
| oclc_num | 58472771 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-824 DE-703 DE-706 DE-19 DE-BY-UBM DE-83 DE-11 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-824 DE-703 DE-706 DE-19 DE-BY-UBM DE-83 DE-11 |
| physical | XXVII, 411 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 in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday Hans-Jörg Kreowski ... (eds.) Berlin [u.a.] Springer 2005 XXVII, 411 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 3393 : Festschrift Conception de logiciels rasuqam Conception de systèmes rasuqam Logiciels Méthode formelle rasuqam Méthodes formelles (Informatique) Spécification algébrique rasuqam Systèmes informatiques - Conception Transformation de graphes rasuqam Computer software Computer systems Design Formal methods (Computer science) Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Systemmodell (DE-588)4304916-3 gnd rswk-swf Graphersetzungssystem (DE-588)4274073-3 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)4016928-5 Festschrift gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 Systemmodell (DE-588)4304916-3 s Graphersetzungssystem (DE-588)4274073-3 s Algebraische Spezifikation (DE-588)4207192-6 s Kreowski, Hans-Jörg Sonstige oth Ehrig, Hartmut 1944-2016 (DE-588)107905582 hnr Lecture notes in computer science 3393 : Festschrift (DE-604)BV000000607 3393 |
| spellingShingle | Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday Lecture notes in computer science Conception de logiciels rasuqam Conception de systèmes rasuqam Logiciels Méthode formelle rasuqam Méthodes formelles (Informatique) Spécification algébrique rasuqam Systèmes informatiques - Conception Transformation de graphes rasuqam Computer software Computer systems Design Formal methods (Computer science) Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Systemmodell (DE-588)4304916-3 gnd Graphersetzungssystem (DE-588)4274073-3 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4207192-6 (DE-588)4304916-3 (DE-588)4274073-3 (DE-588)4143413-4 (DE-588)4016928-5 |
| title | Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday |
| title_auth | Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday |
| title_exact_search | Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday |
| title_full | Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday Hans-Jörg Kreowski ... (eds.) |
| title_fullStr | Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday Hans-Jörg Kreowski ... (eds.) |
| title_full_unstemmed | Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday Hans-Jörg Kreowski ... (eds.) |
| title_short | Formal methods in software and systems modeling |
| title_sort | formal methods in software and systems modeling essays dedicated to hartmut ehrig on the occasion of his 60th birthday |
| title_sub | essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday |
| topic | Conception de logiciels rasuqam Conception de systèmes rasuqam Logiciels Méthode formelle rasuqam Méthodes formelles (Informatique) Spécification algébrique rasuqam Systèmes informatiques - Conception Transformation de graphes rasuqam Computer software Computer systems Design Formal methods (Computer science) Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Systemmodell (DE-588)4304916-3 gnd Graphersetzungssystem (DE-588)4274073-3 gnd |
| topic_facet | Conception de logiciels Conception de systèmes Logiciels Méthode formelle Méthodes formelles (Informatique) Spécification algébrique Systèmes informatiques - Conception Transformation de graphes Computer software Computer systems Design Formal methods (Computer science) Formale Methode Softwareentwicklung Algebraische Spezifikation Systemmodell Graphersetzungssystem Aufsatzsammlung Festschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kreowskihansjorg formalmethodsinsoftwareandsystemsmodelingessaysdedicatedtohartmutehrigontheoccasionofhis60thbirthday AT ehrighartmut formalmethodsinsoftwareandsystemsmodelingessaysdedicatedtohartmutehrigontheoccasionofhis60thbirthday |