Algebraic methodology and software technology: 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1996
|
| Schriftenreihe: | Lecture notes in computer science
1101 |
| Schlagworte: | |
| Beschreibung: | XII, 640 S. Ill. |
| ISBN: | 354061463X |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010804005 | ||
| 003 | DE-604 | ||
| 005 | 19960814 | ||
| 007 | t| | ||
| 008 | 960610s1996 gw a||| |||| 10||| eng d | ||
| 016 | 7 | |a 947666401 |2 DE-101 | |
| 020 | |a 354061463X |c kart. : DM 126.00 |9 3-540-61463-X | ||
| 035 | |a (OCoLC)34919817 | ||
| 035 | |a (DE-599)BVBBV010804005 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-19 |a DE-12 |a DE-20 |a DE-634 |a DE-83 |a DE-706 |a DE-188 | ||
| 050 | 0 | |a QA76.758.I5713 1996 | |
| 082 | 0 | |a 005.1/2/015113 |2 20 | |
| 082 | 0 | |a 005.1/2/015113 20 | |
| 084 | |a DAT 335f |2 stub | ||
| 084 | |a MAT 110f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Algebraic methodology and software technology |b 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings |c Martin Wirsing ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1996 | |
| 300 | |a XII, 640 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1101 | |
| 650 | 7 | |a Algebra |2 gtt | |
| 650 | 4 | |a Génie logiciel - Congrès | |
| 650 | 7 | |a Génie logiciel - Congrès |2 ram | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 4 | |a Types abstraits de données (Informatique) - Congrès | |
| 650 | 7 | |a Types abstraits de données (informatique) - Congrès |2 ram | |
| 650 | 7 | |a application industrielle |2 inriac | |
| 650 | 7 | |a logique algébrique |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation par objets |2 inriac | |
| 650 | 7 | |a système concurrent |2 inriac | |
| 650 | 7 | |a système réactif |2 inriac | |
| 650 | 7 | |a technologie logiciel |2 inriac | |
| 650 | 7 | |a vérification programme |2 inriac | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Software engineering -- Congresses | |
| 650 | 4 | |a Abstract data types (Computer science) -- Congresses | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Methode |0 (DE-588)4141841-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z München |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Algebraische Methode |0 (DE-588)4141841-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Wirsing, Martin |d 1948- |e Sonstige |0 (DE-588)14353582X |4 oth | |
| 711 | 2 | |a AMAST |n 5 |d 1996 |c München |j Sonstige |0 (DE-588)2156445-0 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1101 |w (DE-604)BV000000607 |9 1101 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007217724 | |
Datensatz im Suchindex
| _version_ | 1820868178056577024 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)14353582X |
| building | Verbundindex |
| bvnumber | BV010804005 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758.I5713 1996 |
| callnumber-search | QA76.758.I5713 1996 |
| callnumber-sort | QA 276.758 I5713 41996 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1996 SS 4800 |
| classification_tum | DAT 335f MAT 110f |
| ctrlnum | (OCoLC)34919817 (DE-599)BVBBV010804005 |
| dewey-full | 005.1/2/015113 005.1/2/01511320 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/2/015113 005.1/2/015113 20 |
| dewey-search | 005.1/2/015113 005.1/2/015113 20 |
| dewey-sort | 15.1 12 515113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| 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">BV010804005</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960814</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960610s1996 gw a||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">947666401</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354061463X</subfield><subfield code="c">kart. : DM 126.00</subfield><subfield code="9">3-540-61463-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34919817</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010804005</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.758.I5713 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/2/015113</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/2/015113 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 110f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic methodology and software technology</subfield><subfield code="b">5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings</subfield><subfield code="c">Martin Wirsing ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 640 S.</subfield><subfield code="b">Ill.</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">1101</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebra</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Génie logiciel - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Génie logiciel - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Types abstraits de données (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Types abstraits de données (informatique) - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">application industrielle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation par objets</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système concurrent</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système réactif</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">technologie logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstract data types (Computer science) -- 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">Algebraische Methode</subfield><subfield code="0">(DE-588)4141841-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="y">1996</subfield><subfield code="z">München</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">Algebraische Methode</subfield><subfield code="0">(DE-588)4141841-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wirsing, Martin</subfield><subfield code="d">1948-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)14353582X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">AMAST</subfield><subfield code="n">5</subfield><subfield code="d">1996</subfield><subfield code="c">München</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2156445-0</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">1101</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1101</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007217724</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 München gnd-content |
| genre_facet | Konferenzschrift 1996 München |
| id | DE-604.BV010804005 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:20:14Z |
| institution | BVB |
| institution_GND | (DE-588)2156445-0 |
| isbn | 354061463X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007217724 |
| oclc_num | 34919817 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-12 DE-20 DE-634 DE-83 DE-706 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-12 DE-20 DE-634 DE-83 DE-706 DE-188 |
| physical | XII, 640 S. Ill. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Algebraic methodology and software technology 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings Martin Wirsing ... (eds.) Berlin [u.a.] Springer 1996 XII, 640 S. Ill. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1101 Algebra gtt Génie logiciel - Congrès Génie logiciel - Congrès ram Logica gtt Programmatuurtechniek gtt Types abstraits de données (Informatique) - Congrès Types abstraits de données (informatique) - Congrès ram application industrielle inriac logique algébrique inriac méthode formelle inriac programmation en logique inriac programmation par objets inriac système concurrent inriac système réactif inriac technologie logiciel inriac vérification programme inriac Logik Software engineering -- Congresses Abstract data types (Computer science) -- Congresses Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Algebraische Methode (DE-588)4141841-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 München gnd-content Softwareentwicklung (DE-588)4116522-6 s Algebraische Methode (DE-588)4141841-4 s DE-604 Wirsing, Martin 1948- Sonstige (DE-588)14353582X oth AMAST 5 1996 München Sonstige (DE-588)2156445-0 oth Lecture notes in computer science 1101 (DE-604)BV000000607 1101 |
| spellingShingle | Algebraic methodology and software technology 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings Lecture notes in computer science Algebra gtt Génie logiciel - Congrès Génie logiciel - Congrès ram Logica gtt Programmatuurtechniek gtt Types abstraits de données (Informatique) - Congrès Types abstraits de données (informatique) - Congrès ram application industrielle inriac logique algébrique inriac méthode formelle inriac programmation en logique inriac programmation par objets inriac système concurrent inriac système réactif inriac technologie logiciel inriac vérification programme inriac Logik Software engineering -- Congresses Abstract data types (Computer science) -- Congresses Softwareentwicklung (DE-588)4116522-6 gnd Algebraische Methode (DE-588)4141841-4 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4141841-4 (DE-588)1071861417 |
| title | Algebraic methodology and software technology 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings |
| title_auth | Algebraic methodology and software technology 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings |
| title_exact_search | Algebraic methodology and software technology 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings |
| title_full | Algebraic methodology and software technology 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings Martin Wirsing ... (eds.) |
| title_fullStr | Algebraic methodology and software technology 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings Martin Wirsing ... (eds.) |
| title_full_unstemmed | Algebraic methodology and software technology 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings Martin Wirsing ... (eds.) |
| title_short | Algebraic methodology and software technology |
| title_sort | algebraic methodology and software technology 5th international conference amast 96 munich germany july 1 5 1996 proceedings |
| title_sub | 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 ; proceedings |
| topic | Algebra gtt Génie logiciel - Congrès Génie logiciel - Congrès ram Logica gtt Programmatuurtechniek gtt Types abstraits de données (Informatique) - Congrès Types abstraits de données (informatique) - Congrès ram application industrielle inriac logique algébrique inriac méthode formelle inriac programmation en logique inriac programmation par objets inriac système concurrent inriac système réactif inriac technologie logiciel inriac vérification programme inriac Logik Software engineering -- Congresses Abstract data types (Computer science) -- Congresses Softwareentwicklung (DE-588)4116522-6 gnd Algebraische Methode (DE-588)4141841-4 gnd |
| topic_facet | Algebra Génie logiciel - Congrès Logica Programmatuurtechniek Types abstraits de données (Informatique) - Congrès Types abstraits de données (informatique) - Congrès application industrielle logique algébrique méthode formelle programmation en logique programmation par objets système concurrent système réactif technologie logiciel vérification programme Logik Software engineering -- Congresses Abstract data types (Computer science) -- Congresses Softwareentwicklung Algebraische Methode Konferenzschrift 1996 München |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT wirsingmartin algebraicmethodologyandsoftwaretechnology5thinternationalconferenceamast96munichgermanyjuly151996proceedings AT amastmunchen algebraicmethodologyandsoftwaretechnology5thinternationalconferenceamast96munichgermanyjuly151996proceedings |