Specification of abstract data types:
Specification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification. Unlike most other publications on the subject, this book does not draw on category theory, but instead tries to demystify the topic and promote its use in p...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Chichester [u.a.]
Wiley Teubner
1996
|
| Series: | Wiley Teubner computing
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Summary: | Specification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification. Unlike most other publications on the subject, this book does not draw on category theory, but instead tries to demystify the topic and promote its use in practical applications. It clearly distinguishes between the study of algebras, logic, specification methods and specification languages and it avoids focusing on a particular logic or a particular specification method. While treating the subject with mathematical precision, the book contains numerous examples, exercises and comments to provide a deeper understanding of concepts discussed. It was conceived as a student textbook but will also be a useful source of reference for researchers and developers using formal specification methods for software design. |
| Physical Description: | XI, 260 S. |
| ISBN: | 3519021153 047195067X |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010967091 | ||
| 003 | DE-604 | ||
| 005 | 19971113 | ||
| 007 | t | ||
| 008 | 960916s1996 gw |||| 00||| ger d | ||
| 016 | 7 | |a 948204362 |2 DE-101 | |
| 020 | |a 3519021153 |c (Teubner) Gb. : DM 74.00, sfr 67.00, S 540.00 |9 3-519-02115-3 | ||
| 020 | |a 047195067X |c (Wiley) Gb. L 32.50 |9 0-471-95067-X | ||
| 035 | |a (OCoLC)845276690 | ||
| 035 | |a (DE-599)BVBBV010967091 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91 |a DE-91G |a DE-384 |a DE-739 |a DE-634 | ||
| 050 | 0 | |a QA76.9.A23 | |
| 082 | 0 | |a 005.7/3 |2 20 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 335f |2 stub | ||
| 084 | |a DAT 373f |2 stub | ||
| 100 | 1 | |a Loeckx, Jacques |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Specification of abstract data types |c Jacques Loeckx ; Hans-Dieter Ehrich ; Markus Wolf |
| 264 | 1 | |a Chichester [u.a.] |b Wiley Teubner |c 1996 | |
| 300 | |a XI, 260 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Wiley Teubner computing | |
| 520 | 3 | |a Specification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification. Unlike most other publications on the subject, this book does not draw on category theory, but instead tries to demystify the topic and promote its use in practical applications. It clearly distinguishes between the study of algebras, logic, specification methods and specification languages and it avoids focusing on a particular logic or a particular specification method. While treating the subject with mathematical precision, the book contains numerous examples, exercises and comments to provide a deeper understanding of concepts discussed. It was conceived as a student textbook but will also be a useful source of reference for researchers and developers using formal specification methods for software design. | |
| 650 | 7 | |a Datastructuren |2 gtt | |
| 650 | 7 | |a Engenharia de programacao (software) |2 larpcal | |
| 650 | 7 | |a Specificatie |2 gtt | |
| 650 | 7 | |a Structures de données (informatique) |2 ram | |
| 650 | 4 | |a Types abstraits de données (Informatique) | |
| 650 | 7 | |a spécification logiciel |2 inriac | |
| 650 | 7 | |a type abstrait |2 inriac | |
| 650 | 4 | |a Abstract data types (Computer science) | |
| 650 | 0 | 7 | |a Abstrakter Datentyp |0 (DE-588)4120827-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Abstrakter Datentyp |0 (DE-588)4120827-4 |D s |
| 689 | 0 | 1 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Ehrich, Hans-Dieter |d 1943- |e Verfasser |0 (DE-588)137388322 |4 aut | |
| 700 | 1 | |a Wolf, Markus |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007337697&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007337697 | ||
Record in the Search Index
| _version_ | 1804125454953611264 |
|---|---|
| any_adam_object | 1 |
| author | Loeckx, Jacques Ehrich, Hans-Dieter 1943- Wolf, Markus |
| author_GND | (DE-588)137388322 |
| author_facet | Loeckx, Jacques Ehrich, Hans-Dieter 1943- Wolf, Markus |
| author_role | aut aut aut |
| author_sort | Loeckx, Jacques |
| author_variant | j l jl h d e hde m w mw |
| building | Verbundindex |
| bvnumber | BV010967091 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A23 |
| callnumber-search | QA76.9.A23 |
| callnumber-sort | QA 276.9 A23 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 ST 230 |
| classification_tum | DAT 335f DAT 373f |
| ctrlnum | (OCoLC)845276690 (DE-599)BVBBV010967091 |
| dewey-full | 005.7/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.7/3 |
| dewey-search | 005.7/3 |
| dewey-sort | 15.7 13 |
| 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>03201nam a2200601 c 4500</leader><controlfield tag="001">BV010967091</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19971113 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960916s1996 gw |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948204362</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3519021153</subfield><subfield code="c">(Teubner) Gb. : DM 74.00, sfr 67.00, S 540.00</subfield><subfield code="9">3-519-02115-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">047195067X</subfield><subfield code="c">(Wiley) Gb. L 32.50</subfield><subfield code="9">0-471-95067-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845276690</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010967091</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A23</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.7/3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</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 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 373f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Loeckx, Jacques</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Specification of abstract data types</subfield><subfield code="c">Jacques Loeckx ; Hans-Dieter Ehrich ; Markus Wolf</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Chichester [u.a.]</subfield><subfield code="b">Wiley Teubner</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 260 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">Wiley Teubner computing</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Specification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification. Unlike most other publications on the subject, this book does not draw on category theory, but instead tries to demystify the topic and promote its use in practical applications. It clearly distinguishes between the study of algebras, logic, specification methods and specification languages and it avoids focusing on a particular logic or a particular specification method. While treating the subject with mathematical precision, the book contains numerous examples, exercises and comments to provide a deeper understanding of concepts discussed. It was conceived as a student textbook but will also be a useful source of reference for researchers and developers using formal specification methods for software design.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Datastructuren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Engenharia de programacao (software)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Specificatie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Structures de données (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Types abstraits de données (Informatique)</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="7"><subfield code="a">type abstrait</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstract data types (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakter Datentyp</subfield><subfield code="0">(DE-588)4120827-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Abstrakter Datentyp</subfield><subfield code="0">(DE-588)4120827-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-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">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</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">Ehrich, Hans-Dieter</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)137388322</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wolf, Markus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007337697&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007337697</subfield></datafield></record></collection> |
| id | DE-604.BV010967091 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:49Z |
| institution | BVB |
| isbn | 3519021153 047195067X |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007337697 |
| oclc_num | 845276690 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-739 DE-634 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-739 DE-634 |
| physical | XI, 260 S. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Wiley Teubner |
| record_format | marc |
| series2 | Wiley Teubner computing |
| spelling | Loeckx, Jacques Verfasser aut Specification of abstract data types Jacques Loeckx ; Hans-Dieter Ehrich ; Markus Wolf Chichester [u.a.] Wiley Teubner 1996 XI, 260 S. txt rdacontent n rdamedia nc rdacarrier Wiley Teubner computing Specification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification. Unlike most other publications on the subject, this book does not draw on category theory, but instead tries to demystify the topic and promote its use in practical applications. It clearly distinguishes between the study of algebras, logic, specification methods and specification languages and it avoids focusing on a particular logic or a particular specification method. While treating the subject with mathematical precision, the book contains numerous examples, exercises and comments to provide a deeper understanding of concepts discussed. It was conceived as a student textbook but will also be a useful source of reference for researchers and developers using formal specification methods for software design. Datastructuren gtt Engenharia de programacao (software) larpcal Specificatie gtt Structures de données (informatique) ram Types abstraits de données (Informatique) spécification logiciel inriac type abstrait inriac Abstract data types (Computer science) Abstrakter Datentyp (DE-588)4120827-4 gnd rswk-swf Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Abstrakter Datentyp (DE-588)4120827-4 s Algebraische Spezifikation (DE-588)4207192-6 s DE-604 Ehrich, Hans-Dieter 1943- Verfasser (DE-588)137388322 aut Wolf, Markus Verfasser aut DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007337697&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Loeckx, Jacques Ehrich, Hans-Dieter 1943- Wolf, Markus Specification of abstract data types Datastructuren gtt Engenharia de programacao (software) larpcal Specificatie gtt Structures de données (informatique) ram Types abstraits de données (Informatique) spécification logiciel inriac type abstrait inriac Abstract data types (Computer science) Abstrakter Datentyp (DE-588)4120827-4 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd |
| subject_GND | (DE-588)4120827-4 (DE-588)4207192-6 |
| title | Specification of abstract data types |
| title_auth | Specification of abstract data types |
| title_exact_search | Specification of abstract data types |
| title_full | Specification of abstract data types Jacques Loeckx ; Hans-Dieter Ehrich ; Markus Wolf |
| title_fullStr | Specification of abstract data types Jacques Loeckx ; Hans-Dieter Ehrich ; Markus Wolf |
| title_full_unstemmed | Specification of abstract data types Jacques Loeckx ; Hans-Dieter Ehrich ; Markus Wolf |
| title_short | Specification of abstract data types |
| title_sort | specification of abstract data types |
| topic | Datastructuren gtt Engenharia de programacao (software) larpcal Specificatie gtt Structures de données (informatique) ram Types abstraits de données (Informatique) spécification logiciel inriac type abstrait inriac Abstract data types (Computer science) Abstrakter Datentyp (DE-588)4120827-4 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd |
| topic_facet | Datastructuren Engenharia de programacao (software) Specificatie Structures de données (informatique) Types abstraits de données (Informatique) spécification logiciel type abstrait Abstract data types (Computer science) Abstrakter Datentyp Algebraische Spezifikation |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007337697&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT loeckxjacques specificationofabstractdatatypes AT ehrichhansdieter specificationofabstractdatatypes AT wolfmarkus specificationofabstractdatatypes |