TAPSOFT: '87 ; proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27, 1987 2 Advanced Seminar on Foundations of Innovative Software Development and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin <<[u.a.]>>
Springer
1987
|
| Schriftenreihe: | Lecture notes in computer science
250 |
| Beschreibung: | XIV, 336 S. graph. Darst. |
| ISBN: | 354017611X 038717611X |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV024148249 | ||
| 003 | DE-604 | ||
| 005 | 20090910 | ||
| 007 | t| | ||
| 008 | 090924s1987 xx d||| |||| 10||| eng d | ||
| 015 | |a 87,N11,0240 |2 dnb | ||
| 015 | |a 87,A23,0577 |2 dnb | ||
| 020 | |a 354017611X |9 3-540-17611-X | ||
| 020 | |a 038717611X |9 0-387-17611-X | ||
| 035 | |a (OCoLC)756272632 | ||
| 035 | |a (DE-599)BVBBV024148249 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-11 |a DE-91G |a DE-384 |a DE-739 |a DE-19 |a DE-20 |a DE-12 |a DE-703 |a DE-188 |a DE-706 | ||
| 111 | 2 | |a TAPSOFT |n 2 |d 1987 |c Pisa |j Verfasser |0 (DE-588)2090460-5 |4 aut | |
| 245 | 1 | 0 | |a TAPSOFT |b '87 ; proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27, 1987 |n 2 |p Advanced Seminar on Foundations of Innovative Software Development and Colloquium on Functional and Logic Programming and Specifications (CFLP) |c ed. by Hartmut Ehrig ... |
| 264 | 1 | |a Berlin <<[u.a.]>> |b Springer |c 1987 | |
| 300 | |a XIV, 336 S. |b 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 250 | |
| 490 | 0 | |a Lecture notes in computer science |v ... | |
| 700 | 1 | |a Ehrig, Hartmut |d 1944-2016 |0 (DE-588)107905582 |4 edt | |
| 711 | 2 | |a Advanced Seminar on Foundations of Innovative Software Development |n 1 |d 1987 |c Pisa |j Sonstige |0 (DE-588)2090459-9 |4 oth | |
| 711 | 2 | |a Colloquium on Functional and Logic Programming and Specifications |d 1987 |c Pisa |j Sonstige |0 (DE-588)2090497-6 |4 oth | |
| 773 | 0 | 8 | |w (DE-604)BV024127731 |g 2 |
| 830 | 0 | |a Lecture notes in computer science |v 250 |w (DE-604)BV000000607 |9 250 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018271762 | |
Datensatz im Suchindex
| _version_ | 1820875174910623744 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Ehrig, Hartmut 1944-2016 |
| author2_role | edt |
| author2_variant | h e he |
| author_GND | (DE-588)107905582 |
| author_corporate | TAPSOFT Pisa |
| author_corporate_role | aut |
| author_facet | Ehrig, Hartmut 1944-2016 TAPSOFT Pisa |
| author_sort | TAPSOFT Pisa |
| building | Verbundindex |
| bvnumber | BV024148249 |
| ctrlnum | (OCoLC)756272632 (DE-599)BVBBV024148249 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cc4500</leader><controlfield tag="001">BV024148249</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090910</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090924s1987 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">87,N11,0240</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">87,A23,0577</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354017611X</subfield><subfield code="9">3-540-17611-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">038717611X</subfield><subfield code="9">0-387-17611-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)756272632</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024148249</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-83</subfield><subfield code="a">DE-11</subfield><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-20</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">TAPSOFT</subfield><subfield code="n">2</subfield><subfield code="d">1987</subfield><subfield code="c">Pisa</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2090460-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">TAPSOFT</subfield><subfield code="b">'87 ; proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27, 1987</subfield><subfield code="n">2</subfield><subfield code="p">Advanced Seminar on Foundations of Innovative Software Development and Colloquium on Functional and Logic Programming and Specifications (CFLP)</subfield><subfield code="c">ed. by Hartmut Ehrig ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin <<[u.a.]>></subfield><subfield code="b">Springer</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 336 S.</subfield><subfield code="b">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">250</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">...</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">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Advanced Seminar on Foundations of Innovative Software Development</subfield><subfield code="n">1</subfield><subfield code="d">1987</subfield><subfield code="c">Pisa</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2090459-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Colloquium on Functional and Logic Programming and Specifications</subfield><subfield code="d">1987</subfield><subfield code="c">Pisa</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2090497-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV024127731</subfield><subfield code="g">2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">250</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">250</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018271762</subfield></datafield></record></collection> |
| id | DE-604.BV024148249 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:11:26Z |
| institution | BVB |
| institution_GND | (DE-588)2090460-5 (DE-588)2090459-9 (DE-588)2090497-6 |
| isbn | 354017611X 038717611X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018271762 |
| oclc_num | 756272632 |
| open_access_boolean | |
| owner | DE-83 DE-11 DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-20 DE-12 DE-703 DE-188 DE-706 |
| owner_facet | DE-83 DE-11 DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-20 DE-12 DE-703 DE-188 DE-706 |
| physical | XIV, 336 S. graph. Darst. |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | TAPSOFT 2 1987 Pisa Verfasser (DE-588)2090460-5 aut TAPSOFT '87 ; proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27, 1987 2 Advanced Seminar on Foundations of Innovative Software Development and Colloquium on Functional and Logic Programming and Specifications (CFLP) ed. by Hartmut Ehrig ... Berlin <<[u.a.]>> Springer 1987 XIV, 336 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 250 Lecture notes in computer science ... Ehrig, Hartmut 1944-2016 (DE-588)107905582 edt Advanced Seminar on Foundations of Innovative Software Development 1 1987 Pisa Sonstige (DE-588)2090459-9 oth Colloquium on Functional and Logic Programming and Specifications 1987 Pisa Sonstige (DE-588)2090497-6 oth (DE-604)BV024127731 2 Lecture notes in computer science 250 (DE-604)BV000000607 250 |
| spellingShingle | TAPSOFT '87 ; proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27, 1987 Lecture notes in computer science |
| title | TAPSOFT '87 ; proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27, 1987 |
| title_auth | TAPSOFT '87 ; proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27, 1987 |
| title_exact_search | TAPSOFT '87 ; proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27, 1987 |
| title_full | TAPSOFT '87 ; proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27, 1987 2 Advanced Seminar on Foundations of Innovative Software Development and Colloquium on Functional and Logic Programming and Specifications (CFLP) ed. by Hartmut Ehrig ... |
| title_fullStr | TAPSOFT '87 ; proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27, 1987 2 Advanced Seminar on Foundations of Innovative Software Development and Colloquium on Functional and Logic Programming and Specifications (CFLP) ed. by Hartmut Ehrig ... |
| title_full_unstemmed | TAPSOFT '87 ; proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27, 1987 2 Advanced Seminar on Foundations of Innovative Software Development and Colloquium on Functional and Logic Programming and Specifications (CFLP) ed. by Hartmut Ehrig ... |
| title_short | TAPSOFT |
| title_sort | tapsoft 87 proceedings of the international joint conference on theory and practice of software development pisa italy march 23 27 1987 advanced seminar on foundations of innovative software development and colloquium on functional and logic programming and specifications cflp |
| title_sub | '87 ; proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27, 1987 |
| volume_link | (DE-604)BV024127731 (DE-604)BV000000607 |
| work_keys_str_mv | AT tapsoftpisa tapsoft87proceedingsoftheinternationaljointconferenceontheoryandpracticeofsoftwaredevelopmentpisaitalymarch232719872 AT ehrighartmut tapsoft87proceedingsoftheinternationaljointconferenceontheoryandpracticeofsoftwaredevelopmentpisaitalymarch232719872 AT advancedseminaronfoundationsofinnovativesoftwaredevelopmentpisa tapsoft87proceedingsoftheinternationaljointconferenceontheoryandpracticeofsoftwaredevelopmentpisaitalymarch232719872 AT colloquiumonfunctionalandlogicprogrammingandspecificationspisa tapsoft87proceedingsoftheinternationaljointconferenceontheoryandpracticeofsoftwaredevelopmentpisaitalymarch232719872 |