Búsqueda de LIBROS DEL AUTOR: tamai t

1 resultados

• 

  ebook

  CAFE: AN INDUSTRIAL-STRENGTH ALGEBRAIC FORMAL METHOD: AN INDUSTRIAL-STRENGTH ALGEBRAIC FORMAL METHOD

  FUTATSUGI, K. / NAKAGAWA, A.T. / TAMAI, T.

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

  $1,488.00

  Ver detalle