Tools and notions for program construction: an advanced course
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge Univ. Press
1982
|
| Edition: | 1. publ. |
| Subjects: | |
| Physical Description: | 399 S. |
| ISBN: | 0521248019 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021927275 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 951117s1982 |||| 00||| eng d | ||
| 020 | |a 0521248019 |9 0-521-24801-9 | ||
| 035 | |a (OCoLC)8283513 | ||
| 035 | |a (DE-599)BVBBV021927275 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-188 | ||
| 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 |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 1982 | |
| 300 | |a 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 Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1981 |z Nizza |2 gnd-content | |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Neel, Daniel |e Sonstige |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015142432 | ||
| 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_ | 1804135882999988224 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV021927275 |
| 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)BVBBV021927275 |
| 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 |
| discipline_str_mv | Allgemeines Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01975nam a2200613zc 4500</leader><controlfield tag="001">BV021927275</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951117s1982 |||| 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)BVBBV021927275</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-188</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></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</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">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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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">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="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Neel, Daniel</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-015142432</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 | 1\p (DE-588)1071861417 Konferenzschrift 1981 Nizza gnd-content |
| genre_facet | Konferenzschrift 1981 Nizza |
| id | DE-604.BV021927275 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:06:04Z |
| indexdate | 2024-07-09T20:47:34Z |
| institution | BVB |
| isbn | 0521248019 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015142432 |
| oclc_num | 8283513 |
| open_access_boolean | |
| owner | DE-706 DE-188 |
| owner_facet | DE-706 DE-188 |
| physical | 399 S. |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | Tools and notions for program construction an advanced course 1. publ. Cambridge [u.a.] Cambridge Univ. Press 1982 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 Programmierung (DE-588)4076370-5 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf 1\p (DE-588)1071861417 Konferenzschrift 1981 Nizza gnd-content Programmierung (DE-588)4076370-5 s DE-604 Software Engineering (DE-588)4116521-4 s Neel, Daniel 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 Programmierung (DE-588)4076370-5 gnd Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4076370-5 (DE-588)4116521-4 (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_exact_search_txtP | Tools and notions for program construction an advanced course |
| title_full | Tools and notions for program construction an advanced course |
| title_fullStr | Tools and notions for program construction an advanced course |
| title_full_unstemmed | Tools and notions for program construction an advanced course |
| 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 Programmierung (DE-588)4076370-5 gnd Software Engineering (DE-588)4116521-4 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 Programmierung Software Engineering Konferenzschrift 1981 Nizza |
| work_keys_str_mv | AT neeldaniel toolsandnotionsforprogramconstructionanadvancedcourse |