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

Name: The Semantics of Ada Access Types (Pointers) in the State Delta Verification System (SVDS)
Author: L. G. Marcus
ISBN: 978B00FD1MJI1

Author L. G. Marcus

Publisher PN

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

Price not listed

Book Details

PublisherPN

ISBN / ASINB00FD1MJIM

ISBN-13978B00FD1MJI1

Sales Rank99,999,999

MarketplaceUnited States 🇺🇸