Recent trends in algebraic development techniques: 13th international workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1999
|
| Schriftenreihe: | Lecture notes in computer science
1589 |
| Schlagworte: | |
| Beschreibung: | X, 340 S. |
| ISBN: | 3540662464 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012670421 | ||
| 003 | DE-604 | ||
| 005 | 19991104 | ||
| 007 | t| | ||
| 008 | 990713s1999 gw |||| 10||| eng d | ||
| 020 | |a 3540662464 |9 3-540-66246-4 | ||
| 035 | |a (OCoLC)41960962 | ||
| 035 | |a (DE-599)BVBBV012670421 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA76.76.D47 | |
| 082 | 0 | |a 005.1 |2 21 | |
| 245 | 1 | 0 | |a Recent trends in algebraic development techniques |b 13th international workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers |c José Luiz Fiadeiro (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1999 | |
| 300 | |a X, 340 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1589 | |
| 650 | 7 | |a Algebra |2 gtt | |
| 650 | 4 | |a Ateliers de génie logiciel | |
| 650 | 4 | |a Informatique - Mathématiques - Congrès | |
| 650 | 7 | |a Informatique - Mathématiques - Congrès |2 ram | |
| 650 | 7 | |a Logiciels - Développement - Congrès |2 ram | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 4 | |a Types abstraits de données (Informatique) - Congrès | |
| 650 | 7 | |a Types de donnés abstraites (informatique) - Congrès |2 ram | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a démonstrateur théorème |2 inriac | |
| 650 | 7 | |a langage spécification |2 inriac | |
| 650 | 7 | |a logique algébrique |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a spécification algébrique |2 inriac | |
| 650 | 7 | |a structure algébrique |2 inriac | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Abstract data types (Computer science) |v Congresses | |
| 650 | 4 | |a Computer science |x Mathematics |v Congresses | |
| 650 | 4 | |a Computer software |x Development |v Congresses | |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1998 |z Lissabon |2 gnd-content | |
| 689 | 0 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Fiadeiro, José Luiz |d 1961- |e Sonstige |0 (DE-588)121202070 |4 oth | |
| 711 | 2 | |a WADT |n 13 |d 1998 |c Lissabon |j Sonstige |0 (DE-588)2178120-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1589 |w (DE-604)BV000000607 |9 1589 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008610807 | |
Datensatz im Suchindex
| _version_ | 1820874884716167168 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)121202070 |
| building | Verbundindex |
| bvnumber | BV012670421 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.D47 |
| callnumber-search | QA76.76.D47 |
| callnumber-sort | QA 276.76 D47 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)41960962 (DE-599)BVBBV012670421 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| 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">BV012670421</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19991104</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">990713s1999 gw |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540662464</subfield><subfield code="9">3-540-66246-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)41960962</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012670421</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-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.D47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">21</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recent trends in algebraic development techniques</subfield><subfield code="b">13th international workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers</subfield><subfield code="c">José Luiz Fiadeiro (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 340 S.</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">1589</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">Ateliers de génie logiciel</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique - Mathématiques - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique - Mathématiques - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Développement - Congrès</subfield><subfield code="2">ram</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 de donnés abstraites (informatique) - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">démonstrateur théorème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage spécification</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">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">structure algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstract data types (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield><subfield code="v">Congresses</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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1998</subfield><subfield code="z">Lissabon</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fiadeiro, José Luiz</subfield><subfield code="d">1961-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121202070</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">WADT</subfield><subfield code="n">13</subfield><subfield code="d">1998</subfield><subfield code="c">Lissabon</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2178120-5</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">1589</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1589</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008610807</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1998 Lissabon gnd-content |
| genre_facet | Konferenzschrift 1998 Lissabon |
| id | DE-604.BV012670421 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:06:50Z |
| institution | BVB |
| institution_GND | (DE-588)2178120-5 |
| isbn | 3540662464 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008610807 |
| oclc_num | 41960962 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-83 DE-706 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-83 DE-706 |
| physical | X, 340 S. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers José Luiz Fiadeiro (ed.) Berlin u.a. Springer 1999 X, 340 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1589 Algebra gtt Ateliers de génie logiciel Informatique - Mathématiques - Congrès Informatique - Mathématiques - Congrès ram Logiciels - Développement - Congrès ram Programmatuurtechniek gtt Types abstraits de données (Informatique) - Congrès Types de donnés abstraites (informatique) - Congrès ram concurrence inriac démonstrateur théorème inriac langage spécification inriac logique algébrique inriac réécriture inriac spécification algébrique inriac structure algébrique inriac Informatik Mathematik Abstract data types (Computer science) Congresses Computer science Mathematics Congresses Computer software Development Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1998 Lissabon gnd-content Algebraische Spezifikation (DE-588)4207192-6 s DE-604 Fiadeiro, José Luiz 1961- Sonstige (DE-588)121202070 oth WADT 13 1998 Lissabon Sonstige (DE-588)2178120-5 oth Lecture notes in computer science 1589 (DE-604)BV000000607 1589 |
| spellingShingle | Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers Lecture notes in computer science Algebra gtt Ateliers de génie logiciel Informatique - Mathématiques - Congrès Informatique - Mathématiques - Congrès ram Logiciels - Développement - Congrès ram Programmatuurtechniek gtt Types abstraits de données (Informatique) - Congrès Types de donnés abstraites (informatique) - Congrès ram concurrence inriac démonstrateur théorème inriac langage spécification inriac logique algébrique inriac réécriture inriac spécification algébrique inriac structure algébrique inriac Informatik Mathematik Abstract data types (Computer science) Congresses Computer science Mathematics Congresses Computer software Development Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd |
| subject_GND | (DE-588)4207192-6 (DE-588)1071861417 |
| title | Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers |
| title_auth | Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers |
| title_exact_search | Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers |
| title_full | Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers José Luiz Fiadeiro (ed.) |
| title_fullStr | Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers José Luiz Fiadeiro (ed.) |
| title_full_unstemmed | Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers José Luiz Fiadeiro (ed.) |
| title_short | Recent trends in algebraic development techniques |
| title_sort | recent trends in algebraic development techniques 13th international workshop wadt 98 lisbon portugal april 2 4 1998 selected papers |
| title_sub | 13th international workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers |
| topic | Algebra gtt Ateliers de génie logiciel Informatique - Mathématiques - Congrès Informatique - Mathématiques - Congrès ram Logiciels - Développement - Congrès ram Programmatuurtechniek gtt Types abstraits de données (Informatique) - Congrès Types de donnés abstraites (informatique) - Congrès ram concurrence inriac démonstrateur théorème inriac langage spécification inriac logique algébrique inriac réécriture inriac spécification algébrique inriac structure algébrique inriac Informatik Mathematik Abstract data types (Computer science) Congresses Computer science Mathematics Congresses Computer software Development Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd |
| topic_facet | Algebra Ateliers de génie logiciel Informatique - Mathématiques - Congrès Logiciels - Développement - Congrès Programmatuurtechniek Types abstraits de données (Informatique) - Congrès Types de donnés abstraites (informatique) - Congrès concurrence démonstrateur théorème langage spécification logique algébrique réécriture spécification algébrique structure algébrique Informatik Mathematik Abstract data types (Computer science) Congresses Computer science Mathematics Congresses Computer software Development Congresses Algebraische Spezifikation Konferenzschrift 1998 Lissabon |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fiadeirojoseluiz recenttrendsinalgebraicdevelopmenttechniques13thinternationalworkshopwadt98lisbonportugalapril241998selectedpapers AT wadtlissabon recenttrendsinalgebraicdevelopmenttechniques13thinternationalworkshopwadt98lisbonportugalapril241998selectedpapers |