LEADER 00000cam a2200697Ia 4500 
001    ocn182559921 
003    OCoLC 
005    20160527041214.8 
006    m     o  d         
007    cr cnu---unuuu 
008    071128s2000    ne a    ob    100 0 eng d 
019    162131203|a506935739|a647685706 
020    9780080528403|q(electronic bk.) 
020    0080528406|q(electronic bk.) 
020    9780444505569 
020    0444505563 
035    (OCoLC)182559921|z(OCoLC)162131203|z(OCoLC)506935739
       |z(OCoLC)647685706 
037    126671:128123|bElsevier Science & Technology|nhttp://
       www.sciencedirect.com 
040    N$T|beng|epn|cN$T|dYDXCP|dOCLCQ|dIDEBK|dOCLCQ|dMERUC
       |dOCLCQ|dOCLCF|dNLGGC|dOCLCQ|dOCLCO|dOPELS|dOKU|dE7B
       |dDEBSZ|dZCU|dOCLCO|dOCL|dOCLCO|dOCLCQ|dOCLCO 
049    RIDW 
050  4 QA10|b.C35 2000eb 
072  7 MAT|x016000|2bisacsh 
072  7 MAT|x018000|2bisacsh 
082 04 511.3|222 
090    QA10|b.C35 2000eb 
245 00 Cafe :|ban industrial-strength algebraic formal method /
       |cedited by K. Futatsugi, A.T. Nakagawa, T. Tamai. 
250    1st ed. 
260    Amsterdam ;|aNew York :|bElsevier,|c2000. 
300    1 online resource (xiv, 193 pages) :|billustrations 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
500    Selected papers from a symposium held in Numazu, April 
       1998. 
504    Includes bibliographical references. 
505 0  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    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. 
588 0  Print version record. 
590    eBooks on EBSCOhost|bEBSCO eBook Subscription Academic 
       Collection - North America 
650  0 Algebraic logic|vCongresses. 
650  0 Formal methods (Computer science)|vCongresses. 
655  4 Electronic books. 
655  7 Conference papers and proceedings.|2fast
       |0(OCoLC)fst01423772 
700 1  Futatsugi, Kokichi. 
700 1  Tamai, T.|q(Tetsuo) 
700 1  Nakagawa, A. T.|q(Ataru T.) 
776 08 |iPrint version:|tCafe.|b1st ed.|dAmsterdam ; New York : 
       Elsevier, 2000|z0444505563|z9780444505569|w(DLC)  
       2001266646|w(OCoLC)45593096 
856 40 |uhttps://rider.idm.oclc.org/login?url=http://
       search.ebscohost.com/login.aspx?direct=true&scope=site&
       db=nlebk&AN=211359|zOnline eBook. Access restricted to 
       current Rider University students, faculty, and staff. 
856 42 |3Instructions for reading/downloading this eBook|uhttp://
       guides.rider.edu/ebooks/ebsco 
948    |d20160615|cEBSCO|tebscoebooksacademic|lridw 
994    92|bRID