Tools and notions for program construction an advanced course
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cambridge Univ. Pr.
1982
|
| Ausgabe: | Cambridge (u.a.) |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002018201 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 890928s1982 xx |||| 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 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001317966 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 310f 2001 B 5788 |
|---|---|
| DE-BY-TUM_katkey | 201624 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020347906 |
| _version_ | 1820851946191323136 |
| 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>02049nam 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 xx |||| 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="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><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001317966</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-12-23T10:28:03Z |
| 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 |
| 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 |