0
*
0
*
1450
2025
book-filter
Edition cover

Program verification using Ada

  • Andrew D. McGettrick

1982

publish date

??

physical format

345

pages

Publisher

  • Cambridge University Press

External links

Goodreads

https://www.goodreads.com/book/show/5886780

Librarything

https://www.librarything.com/work/5886780

Related works

  • Work cover

    0 ratings

    0

    Already read

    0

    Currently reading

    0

    Want to read

    0