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

Shop on Amazon — pick your country

Price not available for India

You can still browse on Amazon. Try another country above.

🇺🇸 USA

Book Details

Author(s) L. G. Marcus

Publisher PN

ISBN / ASIN B00FD1MJIM

ISBN-13 978B00FD1MJI1

Marketplace India 🇮🇳