Algebraic specifications in software engineering: an introduction
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1989
|
| Schlagworte: | |
| Beschreibung: | Literaturverz. S. [327] - 342 |
| Beschreibung: | XIV, 350 S. graph. Darst. |
| ISBN: | 3540516263 0387516263 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002468717 | ||
| 003 | DE-604 | ||
| 005 | 19930122 | ||
| 007 | t | ||
| 008 | 891127s1989 gw d||| |||| 00||| eng d | ||
| 020 | |a 3540516263 |9 3-540-51626-3 | ||
| 020 | |a 0387516263 |9 0-387-51626-3 | ||
| 035 | |a (OCoLC)20672178 | ||
| 035 | |a (DE-599)BVBBV002468717 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-19 |a DE-91G |a DE-473 |a DE-739 |a DE-20 |a DE-384 |a DE-29T |a DE-703 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.758 | |
| 082 | 0 | |a 005.1/01/5102 |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 373f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 100 | 1 | |a Horebeek, Ivo van |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Algebraic specifications in software engineering |b an introduction |c Ivo van Horebeek ; Johan Lewi |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1989 | |
| 300 | |a XIV, 350 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. [327] - 342 | ||
| 650 | 4 | |a Génie logiciel | |
| 650 | 7 | |a Génie logiciel |2 ram | |
| 650 | 7 | |a PABX |2 inriac | |
| 650 | 4 | |a Types abstraits de données (Informatique) | |
| 650 | 7 | |a génie logiciel |2 inriac | |
| 650 | 7 | |a spécification algébrique |2 inriac | |
| 650 | 7 | |a type abstrait |2 inriac | |
| 650 | 4 | |a Abstract data types (Computer science) | |
| 650 | 4 | |a Software engineering | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebra |0 (DE-588)4001156-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 1 | |a Algebra |0 (DE-588)4001156-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 1 | 1 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Lewi, Johan |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001594743 | ||
Datensatz im Suchindex
| _version_ | 1804116881485856768 |
|---|---|
| any_adam_object | |
| author | Horebeek, Ivo van Lewi, Johan |
| author_facet | Horebeek, Ivo van Lewi, Johan |
| author_role | aut aut |
| author_sort | Horebeek, Ivo van |
| author_variant | i v h iv ivh j l jl |
| building | Verbundindex |
| bvnumber | BV002468717 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758 |
| callnumber-search | QA76.758 |
| callnumber-sort | QA 276.758 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 ST 230 |
| classification_tum | DAT 373f DAT 310f |
| ctrlnum | (OCoLC)20672178 (DE-599)BVBBV002468717 |
| dewey-full | 005.1/01/5102 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/01/5102 |
| dewey-search | 005.1/01/5102 |
| dewey-sort | 15.1 11 45102 |
| 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>02285nam a2200637 c 4500</leader><controlfield tag="001">BV002468717</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19930122 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">891127s1989 gw d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540516263</subfield><subfield code="9">3-540-51626-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387516263</subfield><subfield code="9">0-387-51626-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20672178</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002468717</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><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-20</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</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.758</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/01/5102</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 373f</subfield><subfield code="2">stub</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">Horebeek, Ivo van</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic specifications in software engineering</subfield><subfield code="b">an introduction</subfield><subfield code="c">Ivo van Horebeek ; Johan Lewi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 350 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="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [327] - 342</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Génie logiciel</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Génie logiciel</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PABX</subfield><subfield code="2">inriac</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">génie logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification algébrique</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=" " ind2="4"><subfield code="a">Software engineering</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">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="650" ind1="0" ind2="7"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</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="1"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lewi, Johan</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-001594743</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV002468717 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:45:33Z |
| institution | BVB |
| isbn | 3540516263 0387516263 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001594743 |
| oclc_num | 20672178 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-739 DE-20 DE-384 DE-29T DE-703 DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-739 DE-20 DE-384 DE-29T DE-703 DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | XIV, 350 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Springer |
| record_format | marc |
| spelling | Horebeek, Ivo van Verfasser aut Algebraic specifications in software engineering an introduction Ivo van Horebeek ; Johan Lewi Berlin u.a. Springer 1989 XIV, 350 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. [327] - 342 Génie logiciel Génie logiciel ram PABX inriac Types abstraits de données (Informatique) génie logiciel inriac spécification algébrique inriac type abstrait inriac Abstract data types (Computer science) Software engineering Software Engineering (DE-588)4116521-4 gnd rswk-swf Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Algebra (DE-588)4001156-2 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Software Engineering (DE-588)4116521-4 s Algebra (DE-588)4001156-2 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Algebraische Spezifikation (DE-588)4207192-6 s Lewi, Johan Verfasser aut |
| spellingShingle | Horebeek, Ivo van Lewi, Johan Algebraic specifications in software engineering an introduction Génie logiciel Génie logiciel ram PABX inriac Types abstraits de données (Informatique) génie logiciel inriac spécification algébrique inriac type abstrait inriac Abstract data types (Computer science) Software engineering Software Engineering (DE-588)4116521-4 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Algebra (DE-588)4001156-2 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)4207192-6 (DE-588)4001156-2 (DE-588)4116522-6 (DE-588)4151278-9 |
| title | Algebraic specifications in software engineering an introduction |
| title_auth | Algebraic specifications in software engineering an introduction |
| title_exact_search | Algebraic specifications in software engineering an introduction |
| title_full | Algebraic specifications in software engineering an introduction Ivo van Horebeek ; Johan Lewi |
| title_fullStr | Algebraic specifications in software engineering an introduction Ivo van Horebeek ; Johan Lewi |
| title_full_unstemmed | Algebraic specifications in software engineering an introduction Ivo van Horebeek ; Johan Lewi |
| title_short | Algebraic specifications in software engineering |
| title_sort | algebraic specifications in software engineering an introduction |
| title_sub | an introduction |
| topic | Génie logiciel Génie logiciel ram PABX inriac Types abstraits de données (Informatique) génie logiciel inriac spécification algébrique inriac type abstrait inriac Abstract data types (Computer science) Software engineering Software Engineering (DE-588)4116521-4 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Algebra (DE-588)4001156-2 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| topic_facet | Génie logiciel PABX Types abstraits de données (Informatique) génie logiciel spécification algébrique type abstrait Abstract data types (Computer science) Software engineering Software Engineering Algebraische Spezifikation Algebra Softwareentwicklung Einführung |
| work_keys_str_mv | AT horebeekivovan algebraicspecificationsinsoftwareengineeringanintroduction AT lewijohan algebraicspecificationsinsoftwareengineeringanintroduction |