Tools and notions for program construction: an advanced course
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Cambridge Univ. Pr.
1982
|
| Edition: | Cambridge (u.a.) |
| Subjects: | |
| Physical Description: | XIV, 399 S. |
| ISBN: | 0521248019 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002018201 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 890928s1982 |||| 00||| eng d | ||
| 020 | |a 0521248019 |9 0-521-24801-9 | ||
| 035 | |a (OCoLC)8283513 | ||
| 035 | |a (DE-599)BVBBV002018201 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-83 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 001.64/2 |2 19 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Tools and notions for program construction |b an advanced course |c Hrsg. von D. Néel* |
| 250 | |a Cambridge (u.a.) | ||
| 264 | 1 | |b Cambridge Univ. Pr. |c 1982 | |
| 300 | |a XIV, 399 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a ADA |2 inriac | |
| 650 | 7 | |a ALGOL |2 inriac | |
| 650 | 7 | |a DELTA |2 inriac | |
| 650 | 7 | |a PERLUETTE |2 inriac | |
| 650 | 4 | |a Programmation (Informatique) | |
| 650 | 7 | |a SPRAC |2 inriac | |
| 650 | 7 | |a conception VLSI |2 inriac | |
| 650 | 7 | |a conception logiciel |2 inriac | |
| 650 | 7 | |a invariance |2 inriac | |
| 650 | 7 | |a itération |2 inriac | |
| 650 | 7 | |a langage algébrique |2 inriac | |
| 650 | 7 | |a outil logiciel |2 inriac | |
| 650 | 7 | |a parallélisme |2 inriac | |
| 650 | 7 | |a preuve programme |2 inriac | |
| 650 | 7 | |a production programme |2 inriac | |
| 650 | 7 | |a récursivité |2 inriac | |
| 650 | 7 | |a spécification logiciel |2 inriac | |
| 650 | 4 | |a Computer programming | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1981 |z Nizza |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Neel, D. |e Sonstige |4 oth | |
| 940 | 1 | |q TUB-nseb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001317966 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804116467154681856 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV002018201 |
| 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 | ST 230 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)8283513 (DE-599)BVBBV002018201 |
| dewey-full | 001.64/2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 001 - Knowledge |
| dewey-raw | 001.64/2 |
| dewey-search | 001.64/2 |
| dewey-sort | 11.64 12 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines Informatik |
| edition | Cambridge (u.a.) |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02048nam a2200637 c 4500</leader><controlfield tag="001">BV002018201</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1982 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521248019</subfield><subfield code="9">0-521-24801-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)8283513</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002018201</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-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.64/2</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tools and notions for program construction</subfield><subfield code="b">an advanced course</subfield><subfield code="c">Hrsg. von D. Néel*</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Cambridge (u.a.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="b">Cambridge Univ. Pr.</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 399 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="650" ind1=" " ind2="7"><subfield code="a">ADA</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ALGOL</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">DELTA</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PERLUETTE</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">SPRAC</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception VLSI</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">invariance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">itération</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">outil logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">parallélisme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">preuve programme</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">récursivité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification 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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="y">1981</subfield><subfield code="z">Nizza</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Neel, D.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nseb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001317966</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1981 Nizza gnd-content |
| genre_facet | Konferenzschrift 1981 Nizza |
| id | DE-604.BV002018201 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:38:58Z |
| institution | BVB |
| isbn | 0521248019 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001317966 |
| oclc_num | 8283513 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-83 |
| physical | XIV, 399 S. |
| psigel | TUB-nseb |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| publisher | Cambridge Univ. Pr. |
| record_format | marc |
| spelling | Tools and notions for program construction an advanced course Hrsg. von D. Néel* Cambridge (u.a.) Cambridge Univ. Pr. 1982 XIV, 399 S. txt rdacontent n rdamedia nc rdacarrier ADA inriac ALGOL inriac DELTA inriac PERLUETTE inriac Programmation (Informatique) SPRAC inriac conception VLSI inriac conception logiciel inriac invariance inriac itération inriac langage algébrique inriac outil logiciel inriac parallélisme inriac preuve programme inriac production programme inriac récursivité inriac spécification logiciel inriac Computer programming Software Engineering (DE-588)4116521-4 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1981 Nizza gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Programmierung (DE-588)4076370-5 s 1\p DE-604 Neel, D. Sonstige oth 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Tools and notions for program construction an advanced course ADA inriac ALGOL inriac DELTA inriac PERLUETTE inriac Programmation (Informatique) SPRAC inriac conception VLSI inriac conception logiciel inriac invariance inriac itération inriac langage algébrique inriac outil logiciel inriac parallélisme inriac preuve programme inriac production programme inriac récursivité inriac spécification logiciel inriac Computer programming Software Engineering (DE-588)4116521-4 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)4076370-5 (DE-588)1071861417 |
| title | Tools and notions for program construction an advanced course |
| title_auth | Tools and notions for program construction an advanced course |
| title_exact_search | Tools and notions for program construction an advanced course |
| title_full | Tools and notions for program construction an advanced course Hrsg. von D. Néel* |
| title_fullStr | Tools and notions for program construction an advanced course Hrsg. von D. Néel* |
| title_full_unstemmed | Tools and notions for program construction an advanced course Hrsg. von D. Néel* |
| title_short | Tools and notions for program construction |
| title_sort | tools and notions for program construction an advanced course |
| title_sub | an advanced course |
| topic | ADA inriac ALGOL inriac DELTA inriac PERLUETTE inriac Programmation (Informatique) SPRAC inriac conception VLSI inriac conception logiciel inriac invariance inriac itération inriac langage algébrique inriac outil logiciel inriac parallélisme inriac preuve programme inriac production programme inriac récursivité inriac spécification logiciel inriac Computer programming Software Engineering (DE-588)4116521-4 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | ADA ALGOL DELTA PERLUETTE Programmation (Informatique) SPRAC conception VLSI conception logiciel invariance itération langage algébrique outil logiciel parallélisme preuve programme production programme récursivité spécification logiciel Computer programming Software Engineering Programmierung Konferenzschrift 1981 Nizza |
| work_keys_str_mv | AT neeld toolsandnotionsforprogramconstructionanadvancedcourse |