Cargando...
Program verification using Ada
| Autor principal: | |
|---|---|
| Formato: | Printed Book |
| Publicado: |
Cambridge, Cambridge University Press
1982
|
| Colección: | Cambridge computer science series
|
| Materias: |
| Notas: | Andrew D McGettrick Includes bibliographical references and index |
|---|---|
| ISBN: | 0-521-28531-3 |