Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York :
Elsevier,
2000.
|
| Edición: | 1st ed. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn182559921 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 071128s2000 ne a ob 100 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d IDEBK |d OCLCQ |d MERUC |d OCLCQ |d OCLCF |d NLGGC |d OCLCQ |d OCLCO |d OPELS |d OKU |d E7B |d DEBSZ |d ZCU |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d AGLDB |d OCLCQ |d D6H |d OCLCQ |d VTS |d STF |d LEAUB |d AU@ |d OCL |d OCLCQ |d K6U |d OCL |d S2H |d OCLCO |d OCLCQ |d OCLCO |d M8D |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 162131203 |a 506935739 |a 647685706 | ||
| 020 | |a 9780080528403 |q (electronic bk.) | ||
| 020 | |a 0080528406 |q (electronic bk.) | ||
| 020 | |a 9780444505569 | ||
| 020 | |a 0444505563 | ||
| 029 | 1 | |a AU@ |b 000051555913 | |
| 029 | 1 | |a AU@ |b 000051860089 | |
| 029 | 1 | |a CHNEW |b 001007347 | |
| 029 | 1 | |a DEBBG |b BV042307490 | |
| 029 | 1 | |a DEBBG |b BV043061881 | |
| 029 | 1 | |a DEBSZ |b 283384875 | |
| 029 | 1 | |a DEBSZ |b 405304080 | |
| 029 | 1 | |a DEBSZ |b 422164380 | |
| 029 | 1 | |a GBVCP |b 802391214 | |
| 029 | 1 | |a NZ1 |b 12434632 | |
| 035 | |a (OCoLC)182559921 |z (OCoLC)162131203 |z (OCoLC)506935739 |z (OCoLC)647685706 | ||
| 037 | |a 126671:128123 |b Elsevier Science & Technology |n http://www.sciencedirect.com | ||
| 050 | 4 | |a QA10 |b .C35 2000eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Cafe : |b an industrial-strength algebraic formal method / |c edited by K. Futatsugi, A.T. Nakagawa, T. Tamai. |
| 250 | |a 1st ed. | ||
| 260 | |a Amsterdam ; |a New York : |b Elsevier, |c 2000. | ||
| 300 | |a 1 online resource (xiv, 193 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 500 | |a Selected papers from a symposium held in Numazu, April 1998. | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Front Cover; CAFE: An Industrial-Strength Algebraic Formal Method; Copyright Page; Preface; Contents; Chapter 1. Building Equational Proving Tools by Reflection in Rewriting Logic; Chapter 2. CafeOBJ Jewels; Chapter 3. An Overview of the Tatami Project; Chapter 4. Proof Assistance for Equational Specifications Based on Proof Obligations; Chapter 5. Generating Rewrite Theories from UML Collaborations; Chapter 6. CASL for CafeOBJ Users; Chapter 7. CafePie: A Visual Programming System for CafeOBJ; Chapter 8. On Extracting Algebraic Specifications from Untyped Object-Oriented Programs. | |
| 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. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Algebraic logic |v Congresses. | |
| 650 | 0 | |a Formal methods (Computer science) |v Congresses. | |
| 650 | 0 | |a Algebraic logic |x Congresses. | |
| 650 | 0 | |a Formal methods (Computer science) |x Congresses. | |
| 650 | 6 | |a Logique algébrique |x Congrès. | |
| 650 | 6 | |a Méthodes formelles (Informatique) |x Congrès. | |
| 650 | 6 | |a Logique algébrique |v Congrès. | |
| 650 | 6 | |a Méthodes formelles (Informatique) |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Algebraic logic |2 fast | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast | |
| 655 | 7 | |a proceedings (reports) |2 aat | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft | |
| 655 | 7 | |a Actes de congrès. |2 rvmgf | |
| 700 | 1 | |a Futatsugi, Kokichi. | |
| 700 | 1 | |a Tamai, T. |q (Tetsuo) | |
| 700 | 1 | |a Nakagawa, A. T. |q (Ataru T.) | |
| 776 | 0 | 8 | |i Print version: |t Cafe. |b 1st ed. |d Amsterdam ; New York : Elsevier, 2000 |z 0444505563 |z 9780444505569 |w (DLC) 2001266646 |w (OCoLC)45593096 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=211359 |z Texto completo |
| 938 | |a ebrary |b EBRY |n ebr10201825 | ||
| 938 | |a EBSCOhost |b EBSC |n 211359 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 105967 | ||
| 938 | |a YBP Library Services |b YANK |n 2737502 | ||
| 994 | |a 92 |b IZTAP | ||