Tools and notions for program construction: An advanced course
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Cambridge u.a.
Cambridge Univ. Press
1982
|
| Series: | CREST advanced courses.
|
| Subjects: | |
| Physical Description: | XIV, 399 S. graph. Darst. |
| ISBN: | 0521248019 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV003418432 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 900725s1982 d||| |||| 00||| eng d | ||
| 020 | |a 0521248019 |9 0-521-24801-9 | ||
| 035 | |a (OCoLC)8283513 | ||
| 035 | |a (DE-599)BVBBV003418432 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 001.64/2 |2 19 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 245 | 1 | 0 | |a Tools and notions for program construction |b An advanced course |c Hrsg. von D. Néel* |
| 264 | 1 | |a Cambridge u.a. |b Cambridge Univ. Press |c 1982 | |
| 300 | |a XIV, 399 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a CREST advanced courses. | |
| 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002162663 | ||
| 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_ | 1804117766802767872 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV003418432 |
| 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 |
| ctrlnum | (OCoLC)8283513 (DE-599)BVBBV003418432 |
| 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 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02025nam a2200613 c 4500</leader><controlfield tag="001">BV003418432</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1982 d||| |||| 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)BVBBV003418432</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-739</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="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="264" ind1=" " ind2="1"><subfield code="a">Cambridge u.a.</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 399 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="0" ind2=" "><subfield code="a">CREST advanced courses.</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002162663</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.BV003418432 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:59:37Z |
| institution | BVB |
| isbn | 0521248019 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002162663 |
| oclc_num | 8283513 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | XIV, 399 S. graph. Darst. |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series2 | CREST advanced courses. |
| spelling | Tools and notions for program construction An advanced course Hrsg. von D. Néel* Cambridge u.a. Cambridge Univ. Press 1982 XIV, 399 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier CREST advanced courses. 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 |