John Derrick
Autor(a) de Refinement in Z and Object-Z : foundations and advanced applications
Obras por John Derrick
Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information… (2001) 3 exemplares
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012.… (2012) 2 exemplares
Etiquetado
Conhecimento Comum
There is no Common Knowledge data for this author yet. You can help.
Membros
Estatísticas
- Obras
- 6
- Membros
- 16
- Popularidade
- #679,947
- Avaliação
- 3.0
- ISBN
- 15