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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Futatsugi, Kokichi, Tamai, T. (Tetsuo), Nakagawa, A. T. (Ataru T.)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : Elsevier, 2000.
Edición:1st ed.
Temas:
Acceso en línea:Texto completo
Search Result 1
Publicado 2000
Texto completo
Electrónico eBook