Home › Books › The Semantics of Ada Access Types (Pointers) in the State D…
The Semantics of Ada Access Types (Pointers) in the State Delta Verification System (SVDS) Buy on Amazon

https://www.ebooknetworking.net/books_detail-B00FD1MJIM.html

The Semantics of Ada Access Types (Pointers) in the State Delta Verification System (SVDS)

AuthorL. G. Marcus
PublisherPN
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Buy New on Amazon 🇬🇧

Book Details

Author(s)L. G. Marcus
PublisherPN
ISBN / ASINB00FD1MJIM
ISBN-13978B00FD1MJI1
MarketplaceUnited Kingdom  🇬🇧
Donate to EbookNetworking
Prev
Next