CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification /
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Llibre |
| Idioma: | English |
| Publicat: |
Singapore :
World Scientific,
c1998.
|
| Col·lecció: | AMAST series in computing ;
vol. 6. |
| Matèries: |
CARM 1 Store
| Signatura: |
A3:AG02F0 C12768 |
|---|---|
| Còpia 1 | Disponible Fer una reserva |