ANNA A Language for Annotating Ada Programs
de David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe
Materias
Ediciones (1)
- ANNA A Language for Annotating Ada Programs (1987)
Springer · inglés · ISBN 9783540179801
de David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe
Springer · inglés · ISBN 9783540179801
