Fundamentals of algebraic specification: 2 Module specifications and constraints
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin u.a.
Springer
1990
|
| Schriftenreihe: | European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science
21 |
| Schlagwörter: | |
| Links: | http://www3.ub.tu-berlin.de/ihv/000049779.pdf |
| Umfang: | XI, 427 S. graph. Darst. |
| ISBN: | 3540517995 0387517995 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV002446519 | ||
| 003 | DE-604 | ||
| 005 | 20031112 | ||
| 007 | t| | ||
| 008 | 900202s1990 xx d||| |||| 00||| eng d | ||
| 020 | |a 3540517995 |9 3-540-51799-5 | ||
| 020 | |a 0387517995 |9 0-387-51799-5 | ||
| 035 | |a (OCoLC)25222953 | ||
| 035 | |a (DE-599)BVBBV002446519 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-19 |a DE-91G |a DE-473 |a DE-739 |a DE-384 |a DE-20 |a DE-824 |a DE-29 |a DE-29T |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.9.D35 | |
| 082 | 0 | |a 512 | |
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 100 | 1 | |a Ehrig, Hartmut |d 1944-2016 |e Verfasser |0 (DE-588)107905582 |4 aut | |
| 245 | 1 | 0 | |a Fundamentals of algebraic specification |n 2 |p Module specifications and constraints |c Hartmut Ehrig ; Bernd Mahr |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1990 | |
| 300 | |a XI, 427 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |v 21 | |
| 490 | 0 | |a European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |v ... | |
| 650 | 7 | |a Algèbre |2 ram | |
| 650 | 7 | |a Programmation (mathématiques) |2 ram | |
| 650 | 7 | |a Structures de données (informatique) |2 ram | |
| 650 | 7 | |a Sémantique (théorie de l'information) |2 ram | |
| 650 | 7 | |a algèbre |2 inriac | |
| 650 | 7 | |a contrainte |2 inriac | |
| 650 | 7 | |a modularisation |2 inriac | |
| 650 | 7 | |a structure donnée |2 inriac | |
| 650 | 4 | |a Algebra | |
| 650 | 4 | |a Data structures (Computer science) | |
| 700 | 1 | |a Mahr, Bernd |e Verfasser |4 aut | |
| 773 | 0 | 8 | |w (DE-604)BV002390658 |g 2 |
| 830 | 0 | |a European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |v 21 |w (DE-604)BV005600727 |9 21 | |
| 856 | 4 | |u http://www3.ub.tu-berlin.de/ihv/000049779.pdf |3 Inhaltsverzeichnis | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001584745 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 455f 2001 A 11976-2 |
|---|---|
| DE-BY-TUM_katkey | 446130 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020265714 |
| _version_ | 1821940239225061376 |
| any_adam_object | |
| author | Ehrig, Hartmut 1944-2016 Mahr, Bernd |
| author_GND | (DE-588)107905582 |
| author_facet | Ehrig, Hartmut 1944-2016 Mahr, Bernd |
| author_role | aut aut |
| author_sort | Ehrig, Hartmut 1944-2016 |
| author_variant | h e he b m bm |
| building | Verbundindex |
| bvnumber | BV002446519 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D35 |
| callnumber-search | QA76.9.D35 |
| callnumber-sort | QA 276.9 D35 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 140 |
| ctrlnum | (OCoLC)25222953 (DE-599)BVBBV002446519 |
| dewey-full | 512 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512 |
| dewey-search | 512 |
| dewey-sort | 3512 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02012nam a2200493 cc4500</leader><controlfield tag="001">BV002446519</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031112 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">900202s1990 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540517995</subfield><subfield code="9">3-540-51799-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387517995</subfield><subfield code="9">0-387-51799-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25222953</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002446519</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-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D35</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ehrig, Hartmut</subfield><subfield code="d">1944-2016</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)107905582</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fundamentals of algebraic specification</subfield><subfield code="n">2</subfield><subfield code="p">Module specifications and constraints</subfield><subfield code="c">Hartmut Ehrig ; Bernd Mahr</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 427 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="1" ind2=" "><subfield code="a">European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science</subfield><subfield code="v">21</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science</subfield><subfield code="v">...</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algèbre</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation (mathématiques)</subfield><subfield code="2">ram</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="7"><subfield code="a">Sémantique (théorie de l'information)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algèbre</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modularisation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">structure donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (Computer science)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mahr, Bernd</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV002390658</subfield><subfield code="g">2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science</subfield><subfield code="v">21</subfield><subfield code="w">(DE-604)BV005600727</subfield><subfield code="9">21</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www3.ub.tu-berlin.de/ihv/000049779.pdf</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001584745</subfield></datafield></record></collection> |
| id | DE-604.BV002446519 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T07:50:44Z |
| institution | BVB |
| isbn | 3540517995 0387517995 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001584745 |
| oclc_num | 25222953 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-739 DE-384 DE-20 DE-824 DE-29 DE-29T DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-739 DE-384 DE-20 DE-824 DE-29 DE-29T DE-634 DE-83 DE-11 DE-188 |
| physical | XI, 427 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Springer |
| record_format | marc |
| series | European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |
| series2 | European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |
| spellingShingle | Ehrig, Hartmut 1944-2016 Mahr, Bernd Fundamentals of algebraic specification European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science Algèbre ram Programmation (mathématiques) ram Structures de données (informatique) ram Sémantique (théorie de l'information) ram algèbre inriac contrainte inriac modularisation inriac structure donnée inriac Algebra Data structures (Computer science) |
| title | Fundamentals of algebraic specification |
| title_auth | Fundamentals of algebraic specification |
| title_exact_search | Fundamentals of algebraic specification |
| title_full | Fundamentals of algebraic specification 2 Module specifications and constraints Hartmut Ehrig ; Bernd Mahr |
| title_fullStr | Fundamentals of algebraic specification 2 Module specifications and constraints Hartmut Ehrig ; Bernd Mahr |
| title_full_unstemmed | Fundamentals of algebraic specification 2 Module specifications and constraints Hartmut Ehrig ; Bernd Mahr |
| title_short | Fundamentals of algebraic specification |
| title_sort | fundamentals of algebraic specification module specifications and constraints |
| topic | Algèbre ram Programmation (mathématiques) ram Structures de données (informatique) ram Sémantique (théorie de l'information) ram algèbre inriac contrainte inriac modularisation inriac structure donnée inriac Algebra Data structures (Computer science) |
| topic_facet | Algèbre Programmation (mathématiques) Structures de données (informatique) Sémantique (théorie de l'information) algèbre contrainte modularisation structure donnée Algebra Data structures (Computer science) |
| url | http://www3.ub.tu-berlin.de/ihv/000049779.pdf |
| volume_link | (DE-604)BV002390658 (DE-604)BV005600727 |
| work_keys_str_mv | AT ehrighartmut fundamentalsofalgebraicspecification2 AT mahrbernd fundamentalsofalgebraicspecification2 |
Inhaltsverzeichnis
Paper/Kapitel scannen lassen
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 455f 2001 A 11976-2
Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |