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

Bibliographische Detailangaben

Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Amsterdam New York Elsevier 2000
Ausgabe:	1st ed
Schlagworte:	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
Online-Zugang:	DE-860 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!