The Semantics of Ada Access Types (Pointers) in the State Delta Verification System (SVDS)
📄 Viewing lite version
Full site ›
⌛ 🇫🇷 France pricing being fetched…
Prices will appear once fetched — usually within a few minutes.
View in:
🇺🇸 USA
Book Details
Author(s)L. G. Marcus
PublisherPN
ISBN / ASINB00FD1MJIM
ISBN-13978B00FD1MJI1
MarketplaceFrance 🇫🇷