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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
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

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen