Program construction: international summer school
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1979
|
| Series: | Lecture notes in computer science
69 |
| Subjects: | |
| Physical Description: | VII, 651 S. |
| ISBN: | 354009251X 038709251X |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001990729 | ||
| 003 | DE-604 | ||
| 005 | 20061128 | ||
| 007 | t| | ||
| 008 | 890928s1979 xx |||| 00||| eng d | ||
| 020 | |a 354009251X |9 3-540-09251-X | ||
| 020 | |a 038709251X |9 0-387-09251-X | ||
| 035 | |a (OCoLC)4982965 | ||
| 035 | |a (DE-599)BVBBV001990729 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-384 |a DE-703 |a DE-355 |a DE-20 |a DE-19 |a DE-12 |a DE-706 |a DE-634 |a DE-11 |a DE-188 |a DE-83 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 001.6/42 | |
| 084 | |a QH 500 |0 (DE-625)141607: |2 rvk | ||
| 245 | 1 | 0 | |a Program construction |b international summer school |c ed. by F. L. Bauer ... |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1979 | |
| 300 | |a VII, 651 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 69 | |
| 650 | 7 | |a EUCLID |2 inriac | |
| 650 | 4 | |a Programmation (Informatique) | |
| 650 | 7 | |a multitraitement |2 inriac | |
| 650 | 7 | |a méthodologie programmation |2 inriac | |
| 650 | 7 | |a production programme |2 inriac | |
| 650 | 7 | |a structure donnée |2 inriac | |
| 650 | 7 | |a sémantique programmation |2 inriac | |
| 650 | 7 | |a transformation programme |2 inriac | |
| 650 | 7 | |a vérification logiciel |2 inriac | |
| 650 | 4 | |a Computer programming | |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bauer, Friedrich L. |d 1924-2015 |e Sonstige |0 (DE-588)10427459X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 69 |w (DE-604)BV000000607 |9 69 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001298442 | |
| 980 | 4 | |a (DE-12)AK4470294 | |
| 980 | 4 | |a (DE-12)AK01610518 | |
| 980 | 4 | |a (DE-12)AK03240223 | |
Record in the Search Index
| _version_ | 1820874837325774848 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)10427459X |
| building | Verbundindex |
| bvnumber | BV001990729 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | QH 500 |
| ctrlnum | (OCoLC)4982965 (DE-599)BVBBV001990729 |
| dewey-full | 001.6/42 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 001 - Knowledge |
| dewey-raw | 001.6/42 |
| dewey-search | 001.6/42 |
| dewey-sort | 11.6 242 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines Wirtschaftswissenschaften |
| 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">BV001990729</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20061128</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890928s1979 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354009251X</subfield><subfield code="9">3-540-09251-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">038709251X</subfield><subfield code="9">0-387-09251-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)4982965</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001990729</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.6/42</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Program construction</subfield><subfield code="b">international summer school</subfield><subfield code="c">ed. by F. L. Bauer ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1979</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 651 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">69</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">EUCLID</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">multitraitement</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthodologie programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">production programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">structure donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">transformation programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">Bauer, Friedrich L.</subfield><subfield code="d">1924-2015</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)10427459X</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">69</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">69</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001298442</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK4470294</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK01610518</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK03240223</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV001990729 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:06:05Z |
| institution | BVB |
| isbn | 354009251X 038709251X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001298442 |
| oclc_num | 4982965 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-703 DE-355 DE-BY-UBR DE-20 DE-19 DE-BY-UBM DE-12 DE-706 DE-634 DE-11 DE-188 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-703 DE-355 DE-BY-UBR DE-20 DE-19 DE-BY-UBM DE-12 DE-706 DE-634 DE-11 DE-188 DE-83 |
| physical | VII, 651 S. |
| publishDate | 1979 |
| publishDateSearch | 1979 |
| publishDateSort | 1979 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Program construction international summer school ed. by F. L. Bauer ... Berlin [u.a.] Springer 1979 VII, 651 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 69 EUCLID inriac Programmation (Informatique) multitraitement inriac méthodologie programmation inriac production programme inriac structure donnée inriac sémantique programmation inriac transformation programme inriac vérification logiciel inriac Computer programming Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Programmierung (DE-588)4076370-5 s DE-604 Bauer, Friedrich L. 1924-2015 Sonstige (DE-588)10427459X oth Lecture notes in computer science 69 (DE-604)BV000000607 69 |
| spellingShingle | Program construction international summer school Lecture notes in computer science EUCLID inriac Programmation (Informatique) multitraitement inriac méthodologie programmation inriac production programme inriac structure donnée inriac sémantique programmation inriac transformation programme inriac vérification logiciel inriac Computer programming Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4076370-5 (DE-588)1071861417 |
| title | Program construction international summer school |
| title_auth | Program construction international summer school |
| title_exact_search | Program construction international summer school |
| title_full | Program construction international summer school ed. by F. L. Bauer ... |
| title_fullStr | Program construction international summer school ed. by F. L. Bauer ... |
| title_full_unstemmed | Program construction international summer school ed. by F. L. Bauer ... |
| title_short | Program construction |
| title_sort | program construction international summer school |
| title_sub | international summer school |
| topic | EUCLID inriac Programmation (Informatique) multitraitement inriac méthodologie programmation inriac production programme inriac structure donnée inriac sémantique programmation inriac transformation programme inriac vérification logiciel inriac Computer programming Programmierung (DE-588)4076370-5 gnd |
| topic_facet | EUCLID Programmation (Informatique) multitraitement méthodologie programmation production programme structure donnée sémantique programmation transformation programme vérification logiciel Computer programming Programmierung Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bauerfriedrichl programconstructioninternationalsummerschool |