Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification: 6
Razvan Diaconescu, Kokichi Futatsugi
World Scientific Publishing Company
1998
196 páginas
6h 32m
ISBN-10: 9810235135
Estatísticas
Avaliações
0 / 0- 5 estrelas0%
- 4 estrelas0%
- 3 estrelas0%
- 2 estrelas0%
- 1 estrelas0%