A meta-calculus for formal system development
de Matthias Weber · Publicada por primera vez en 1991
Materias
Ediciones (1)
- A meta-calculus for formal system development (1991)
R. Oldenbourg · inglés
de Matthias Weber · Publicada por primera vez en 1991
R. Oldenbourg · inglés