Skip to contents Goldsack, Stephen J. [Editor] Ada for specification : possibilities and limitations Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 1985 Published in: The Ada companion series Luckham, David C. [Author] Programming with specifications : an introduction to ANNA, a language for specifying Ada programs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY; Heidelberg [u.a.]: Springer, 1990 Published in: Texts and monographs in computer science
Goldsack, Stephen J. [Editor] Ada for specification : possibilities and limitations Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 1985 Published in: The Ada companion series
Luckham, David C. [Author] Programming with specifications : an introduction to ANNA, a language for specifying Ada programs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY; Heidelberg [u.a.]: Springer, 1990 Published in: Texts and monographs in computer science
> Location Skip to next facet Departmental Library DrePunct (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (2) Wert ausschließen Mathmatics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Goldsack, Stephen J. (1) Wert ausschließen Luckham, David C. (1) Wert ausschließen Show more show less