Cafe: an industrial-strength algebraic formal method
This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project invol...
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam New York
Elsevier
2000
|
| Ausgabe: | 1st ed |
| Schlagworte: | |
| Online-Zugang: | FLA01 URL des Erstveröffentlichers |
| Zusammenfassung: | This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees. The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or complete |
| Beschreibung: | Selected papers from a symposium held in Numazu, April 1998 Includes bibliographical references |
| Beschreibung: | 1 online resource (xiv, 193 pages) illustrations |
| ISBN: | 9780080528403 0080528406 9780444505569 0444505563 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV046123633 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 190827s2000 |||| o||u| ||||||eng d | ||
| 020 | |a 9780080528403 |9 978-0-08-052840-3 | ||
| 020 | |a 0080528406 |9 0-08-052840-6 | ||
| 020 | |a 9780444505569 |9 978-0-444-50556-9 | ||
| 020 | |a 0444505563 |9 0-444-50556-3 | ||
| 035 | |a (ZDB-33-ESD)ocn182559921 | ||
| 035 | |a (OCoLC)182559921 | ||
| 035 | |a (DE-599)BVBBV046123633 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 511.3 |2 22 | |
| 245 | 1 | 0 | |a Cafe |b an industrial-strength algebraic formal method |c edited by K. Futatsugi, A.T. Nakagawa, T. Tamai |
| 250 | |a 1st ed | ||
| 264 | 1 | |a Amsterdam |a New York |b Elsevier |c 2000 | |
| 300 | |a 1 online resource (xiv, 193 pages) |b illustrations | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Selected papers from a symposium held in Numazu, April 1998 | ||
| 500 | |a Includes bibliographical references | ||
| 520 | |a This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees. The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or complete | ||
| 650 | 4 | |a Logique algébrique / Congrès | |
| 650 | 4 | |a Méthodes formelles (Informatique) / Congrès | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Algebraic logic |2 fast | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast | |
| 650 | 4 | |a Electronic books | |
| 650 | 4 | |a Algebraic logic / Congresses | |
| 650 | 4 | |a Electronic books. / local | |
| 650 | 4 | |a Formal methods (Computer science) / Congresses | |
| 650 | 4 | |a Algebraic logic |v Congresses | |
| 650 | 4 | |a Formal methods (Computer science) |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Futatsugi, Kokichi |e Sonstige |4 oth | |
| 700 | 1 | |a Tamai, T. |e Sonstige |4 oth | |
| 700 | 1 | |a Nakagawa, A. T. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444505569 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031504086 | ||
| 966 | e | |u http://www.sciencedirect.com/science/book/9780444505569 |l FLA01 |p ZDB-33-ESD |q FLA_PDA_ESD |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804180440793219072 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV046123633 |
| collection | ZDB-33-ESD |
| ctrlnum | (ZDB-33-ESD)ocn182559921 (OCoLC)182559921 (DE-599)BVBBV046123633 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 1st ed |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02790nmm a2200577zc 4500</leader><controlfield tag="001">BV046123633</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">190827s2000 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080528403</subfield><subfield code="9">978-0-08-052840-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080528406</subfield><subfield code="9">0-08-052840-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444505569</subfield><subfield code="9">978-0-444-50556-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444505563</subfield><subfield code="9">0-444-50556-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn182559921</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)182559921</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046123633</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Cafe</subfield><subfield code="b">an industrial-strength algebraic formal method</subfield><subfield code="c">edited by K. Futatsugi, A.T. Nakagawa, T. Tamai</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="a">New York</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiv, 193 pages)</subfield><subfield code="b">illustrations</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="500" ind1=" " ind2=" "><subfield code="a">Selected papers from a symposium held in Numazu, April 1998</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees. The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or complete</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique algébrique / Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Méthodes formelles (Informatique) / Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebraic logic</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic books</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic logic / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic books. / local</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science) / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Futatsugi, Kokichi</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tamai, T.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nakagawa, A. T.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444505569</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031504086</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780444505569</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FLA_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV046123633 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T08:35:48Z |
| institution | BVB |
| isbn | 9780080528403 0080528406 9780444505569 0444505563 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031504086 |
| oclc_num | 182559921 |
| open_access_boolean | |
| physical | 1 online resource (xiv, 193 pages) illustrations |
| psigel | ZDB-33-ESD ZDB-33-ESD FLA_PDA_ESD |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Elsevier |
| record_format | marc |
| spelling | Cafe an industrial-strength algebraic formal method edited by K. Futatsugi, A.T. Nakagawa, T. Tamai 1st ed Amsterdam New York Elsevier 2000 1 online resource (xiv, 193 pages) illustrations txt rdacontent c rdamedia cr rdacarrier Selected papers from a symposium held in Numazu, April 1998 Includes bibliographical references This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees. The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or complete Logique algébrique / Congrès Méthodes formelles (Informatique) / Congrès MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Algebraic logic fast Formal methods (Computer science) fast Electronic books Algebraic logic / Congresses Electronic books. / local Formal methods (Computer science) / Congresses Algebraic logic Congresses Formal methods (Computer science) Congresses (DE-588)1071861417 Konferenzschrift gnd-content Futatsugi, Kokichi Sonstige oth Tamai, T. Sonstige oth Nakagawa, A. T. Sonstige oth http://www.sciencedirect.com/science/book/9780444505569 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Cafe an industrial-strength algebraic formal method Logique algébrique / Congrès Méthodes formelles (Informatique) / Congrès MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Algebraic logic fast Formal methods (Computer science) fast Electronic books Algebraic logic / Congresses Electronic books. / local Formal methods (Computer science) / Congresses Algebraic logic Congresses Formal methods (Computer science) Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Cafe an industrial-strength algebraic formal method |
| title_auth | Cafe an industrial-strength algebraic formal method |
| title_exact_search | Cafe an industrial-strength algebraic formal method |
| title_full | Cafe an industrial-strength algebraic formal method edited by K. Futatsugi, A.T. Nakagawa, T. Tamai |
| title_fullStr | Cafe an industrial-strength algebraic formal method edited by K. Futatsugi, A.T. Nakagawa, T. Tamai |
| title_full_unstemmed | Cafe an industrial-strength algebraic formal method edited by K. Futatsugi, A.T. Nakagawa, T. Tamai |
| title_short | Cafe |
| title_sort | cafe an industrial strength algebraic formal method |
| title_sub | an industrial-strength algebraic formal method |
| topic | Logique algébrique / Congrès Méthodes formelles (Informatique) / Congrès MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Algebraic logic fast Formal methods (Computer science) fast Electronic books Algebraic logic / Congresses Electronic books. / local Formal methods (Computer science) / Congresses Algebraic logic Congresses Formal methods (Computer science) Congresses |
| topic_facet | Logique algébrique / Congrès Méthodes formelles (Informatique) / Congrès MATHEMATICS / Infinity MATHEMATICS / Logic Algebraic logic Formal methods (Computer science) Electronic books Algebraic logic / Congresses Electronic books. / local Formal methods (Computer science) / Congresses Algebraic logic Congresses Formal methods (Computer science) Congresses Konferenzschrift |
| url | http://www.sciencedirect.com/science/book/9780444505569 |
| work_keys_str_mv | AT futatsugikokichi cafeanindustrialstrengthalgebraicformalmethod AT tamait cafeanindustrialstrengthalgebraicformalmethod AT nakagawaat cafeanindustrialstrengthalgebraicformalmethod |