Abstraction and specification in program development:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass. u.a.
MIT Press u.a.
1986
|
| Series: | The MIT electrical engineering and computer science series
|
| Subjects: | |
| Physical Description: | XV, 469 S. |
| ISBN: | 0262121123 0070379963 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV000532908 | ||
| 003 | DE-604 | ||
| 005 | 20020124 | ||
| 007 | t | ||
| 008 | 870612s1986 |||| 00||| eng d | ||
| 020 | |a 0262121123 |9 0-262-12112-3 | ||
| 020 | |a 0070379963 |9 0-07-037996-3 | ||
| 035 | |a (OCoLC)12668074 | ||
| 035 | |a (DE-599)BVBBV000532908 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-473 |a DE-739 |a DE-20 |a DE-824 |a DE-706 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.1/2 |2 19 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 310f |2 stub | ||
| 100 | 1 | |a Liskov, Barbara |d 1939- |e Verfasser |0 (DE-588)1069447846 |4 aut | |
| 245 | 1 | 0 | |a Abstraction and specification in program development |c Barbara Liskov and John Guttag |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Press u.a. |c 1986 | |
| 300 | |a XV, 469 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a The MIT electrical engineering and computer science series | |
| 650 | 7 | |a CLU |2 inriac | |
| 650 | 7 | |a Ordinateurs - programmation |2 ram | |
| 650 | 7 | |a PASCAL |2 inriac | |
| 650 | 4 | |a Programmation (Informatique) | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 7 | |a abstraction donnée |2 inriac | |
| 650 | 7 | |a abstraction |2 inriac | |
| 650 | 7 | |a conception logiciel |2 inriac | |
| 650 | 7 | |a débogage |2 inriac | |
| 650 | 7 | |a développement logiciel |2 inriac | |
| 650 | 7 | |a méthodologie programmation |2 inriac | |
| 650 | 7 | |a spécification |2 inriac | |
| 650 | 7 | |a test |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 |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Guttag, John |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000328825 | ||
Record in the Search Index
| _version_ | 1804114980288593920 |
|---|---|
| any_adam_object | |
| author | Liskov, Barbara 1939- Guttag, John |
| author_GND | (DE-588)1069447846 |
| author_facet | Liskov, Barbara 1939- Guttag, John |
| author_role | aut aut |
| author_sort | Liskov, Barbara 1939- |
| author_variant | b l bl j g jg |
| building | Verbundindex |
| bvnumber | BV000532908 |
| 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)12668074 (DE-599)BVBBV000532908 |
| dewey-full | 005.1/2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/2 |
| dewey-search | 005.1/2 |
| dewey-sort | 15.1 12 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02016nam a2200589 c 4500</leader><controlfield tag="001">BV000532908</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020124 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1986 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262121123</subfield><subfield code="9">0-262-12112-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0070379963</subfield><subfield code="9">0-07-037996-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)12668074</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000532908</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</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">005.1/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="100" ind1="1" ind2=" "><subfield code="a">Liskov, Barbara</subfield><subfield code="d">1939-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1069447846</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Abstraction and specification in program development</subfield><subfield code="c">Barbara Liskov and John Guttag</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Press u.a.</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 469 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="0" ind2=" "><subfield code="a">The MIT electrical engineering and computer science series</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">CLU</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - programmation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PASCAL</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">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">abstraction donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">abstraction</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">débogage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">développement logiciel</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">spécification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">test</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="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Guttag, John</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000328825</subfield></datafield></record></collection> |
| id | DE-604.BV000532908 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:15:20Z |
| institution | BVB |
| isbn | 0262121123 0070379963 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000328825 |
| oclc_num | 12668074 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-739 DE-20 DE-824 DE-706 DE-83 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-739 DE-20 DE-824 DE-706 DE-83 DE-188 |
| physical | XV, 469 S. |
| publishDate | 1986 |
| publishDateSearch | 1986 |
| publishDateSort | 1986 |
| publisher | MIT Press u.a. |
| record_format | marc |
| series2 | The MIT electrical engineering and computer science series |
| spelling | Liskov, Barbara 1939- Verfasser (DE-588)1069447846 aut Abstraction and specification in program development Barbara Liskov and John Guttag Cambridge, Mass. u.a. MIT Press u.a. 1986 XV, 469 S. txt rdacontent n rdamedia nc rdacarrier The MIT electrical engineering and computer science series CLU inriac Ordinateurs - programmation ram PASCAL inriac Programmation (Informatique) Programmatuurtechniek gtt abstraction donnée inriac abstraction inriac conception logiciel inriac débogage inriac développement logiciel inriac méthodologie programmation inriac spécification inriac test inriac vérification logiciel inriac Computer programming Programmierung (DE-588)4076370-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 s DE-604 Programmierung (DE-588)4076370-5 s Guttag, John Verfasser aut |
| spellingShingle | Liskov, Barbara 1939- Guttag, John Abstraction and specification in program development CLU inriac Ordinateurs - programmation ram PASCAL inriac Programmation (Informatique) Programmatuurtechniek gtt abstraction donnée inriac abstraction inriac conception logiciel inriac débogage inriac développement logiciel inriac méthodologie programmation inriac spécification inriac test inriac vérification logiciel inriac Computer programming Programmierung (DE-588)4076370-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| subject_GND | (DE-588)4076370-5 (DE-588)4116522-6 |
| title | Abstraction and specification in program development |
| title_auth | Abstraction and specification in program development |
| title_exact_search | Abstraction and specification in program development |
| title_full | Abstraction and specification in program development Barbara Liskov and John Guttag |
| title_fullStr | Abstraction and specification in program development Barbara Liskov and John Guttag |
| title_full_unstemmed | Abstraction and specification in program development Barbara Liskov and John Guttag |
| title_short | Abstraction and specification in program development |
| title_sort | abstraction and specification in program development |
| topic | CLU inriac Ordinateurs - programmation ram PASCAL inriac Programmation (Informatique) Programmatuurtechniek gtt abstraction donnée inriac abstraction inriac conception logiciel inriac débogage inriac développement logiciel inriac méthodologie programmation inriac spécification inriac test inriac vérification logiciel inriac Computer programming Programmierung (DE-588)4076370-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| topic_facet | CLU Ordinateurs - programmation PASCAL Programmation (Informatique) Programmatuurtechniek abstraction donnée abstraction conception logiciel débogage développement logiciel méthodologie programmation spécification test vérification logiciel Computer programming Programmierung Softwareentwicklung |
| work_keys_str_mv | AT liskovbarbara abstractionandspecificationinprogramdevelopment AT guttagjohn abstractionandspecificationinprogramdevelopment |