Computer-aided specification techniques:
This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 1970s, there was a need for the recognition of the fundamental role of adequate abstractions and higher level conceptual models in all fields of computer a...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Singapore
World Scientific Pub. Co.
c1985
|
| Series: | Series in computer science
vol. 1 |
| Subjects: | |
| Online Access: | FHN01 Volltext |
| Summary: | This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 1970s, there was a need for the recognition of the fundamental role of adequate abstractions and higher level conceptual models in all fields of computer applications. The approach presented explores various conceptual descriptive methods of specification processing |
| Physical Description: | ix, 114 p. ill |
| ISBN: | 9789814307789 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044638100 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s1985 |||| o||u| ||||||eng d | ||
| 020 | |a 9789814307789 |9 978-981-4307-78-9 | ||
| 024 | 7 | |a 10.1142/0166 |2 doi | |
| 035 | |a (ZDB-124-WOP)00005541 | ||
| 035 | |a (OCoLC)1012624256 | ||
| 035 | |a (DE-599)BVBBV044638100 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 004.2/1 |2 22 | |
| 100 | 1 | |a Demetrovics, János |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computer-aided specification techniques |c János Demetrovics, Előd Knuth, Péter Radó |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c1985 | |
| 300 | |a ix, 114 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Series in computer science |v vol. 1 | |
| 520 | |a This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 1970s, there was a need for the recognition of the fundamental role of adequate abstractions and higher level conceptual models in all fields of computer applications. The approach presented explores various conceptual descriptive methods of specification processing | ||
| 650 | 4 | |a System design | |
| 650 | 4 | |a Computer-aided design | |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Knuth, E. |d 1943- |e Sonstige |4 oth | |
| 700 | 1 | |a Radó, Péter |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789971978532 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9971500957 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9971978539 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/0166#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030036073 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/0166#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804178054383140864 |
|---|---|
| any_adam_object | |
| author | Demetrovics, János |
| author_facet | Demetrovics, János |
| author_role | aut |
| author_sort | Demetrovics, János |
| author_variant | j d jd |
| building | Verbundindex |
| bvnumber | BV044638100 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00005541 (OCoLC)1012624256 (DE-599)BVBBV044638100 |
| dewey-full | 004.2/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.2/1 |
| dewey-search | 004.2/1 |
| dewey-sort | 14.2 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02230nmm a2200481zcb4500</leader><controlfield tag="001">BV044638100</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s1985 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814307789</subfield><subfield code="9">978-981-4307-78-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/0166</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00005541</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012624256</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044638100</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2/1</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Demetrovics, János</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer-aided specification techniques</subfield><subfield code="c">János Demetrovics, Előd Knuth, Péter Radó</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">ix, 114 p.</subfield><subfield code="b">ill</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Series in computer science</subfield><subfield code="v">vol. 1</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 1970s, there was a need for the recognition of the fundamental role of adequate abstractions and higher level conceptual models in all fields of computer applications. The approach presented explores various conceptual descriptive methods of specification processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-aided design</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Knuth, E.</subfield><subfield code="d">1943-</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Radó, Péter</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789971978532</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9971500957</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9971978539</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/0166#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030036073</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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/0166#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044638100 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:52Z |
| institution | BVB |
| isbn | 9789814307789 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030036073 |
| oclc_num | 1012624256 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | ix, 114 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 1985 |
| publishDateSearch | 1985 |
| publishDateSort | 1985 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| series2 | Series in computer science |
| spelling | Demetrovics, János Verfasser aut Computer-aided specification techniques János Demetrovics, Előd Knuth, Péter Radó Singapore World Scientific Pub. Co. c1985 ix, 114 p. ill txt rdacontent c rdamedia cr rdacarrier Series in computer science vol. 1 This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 1970s, there was a need for the recognition of the fundamental role of adequate abstractions and higher level conceptual models in all fields of computer applications. The approach presented explores various conceptual descriptive methods of specification processing System design Computer-aided design Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 s 1\p DE-604 Knuth, E. 1943- Sonstige oth Radó, Péter Sonstige oth Erscheint auch als Druck-Ausgabe 9789971978532 Erscheint auch als Druck-Ausgabe 9971500957 Erscheint auch als Druck-Ausgabe 9971978539 http://www.worldscientific.com/worldscibooks/10.1142/0166#t=toc Verlag URL des Erstveroeffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Demetrovics, János Computer-aided specification techniques System design Computer-aided design Softwarespezifikation (DE-588)4056186-0 gnd |
| subject_GND | (DE-588)4056186-0 |
| title | Computer-aided specification techniques |
| title_auth | Computer-aided specification techniques |
| title_exact_search | Computer-aided specification techniques |
| title_full | Computer-aided specification techniques János Demetrovics, Előd Knuth, Péter Radó |
| title_fullStr | Computer-aided specification techniques János Demetrovics, Előd Knuth, Péter Radó |
| title_full_unstemmed | Computer-aided specification techniques János Demetrovics, Előd Knuth, Péter Radó |
| title_short | Computer-aided specification techniques |
| title_sort | computer aided specification techniques |
| topic | System design Computer-aided design Softwarespezifikation (DE-588)4056186-0 gnd |
| topic_facet | System design Computer-aided design Softwarespezifikation |
| url | http://www.worldscientific.com/worldscibooks/10.1142/0166#t=toc |
| work_keys_str_mv | AT demetrovicsjanos computeraidedspecificationtechniques AT knuthe computeraidedspecificationtechniques AT radopeter computeraidedspecificationtechniques |