Ada for Specification: Possibilities and Limitations (The Ada Companion Series)

by S. J. Goldsack Hardcover details (UK). ISBN: 978-0-521-30853-3 ISBN-10: 0-521-30853-4 Cambridge University Press · 1985