The Semantics of Ada Access Types (Pointers) in the State Delta Verification System (SVDS) Buy on Amazon
Facebook LinkedIn

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

Author L. G. Marcus
Publisher PN
Book Details
Author(s) L. G. Marcus
Publisher PN
ISBN / ASIN B00FD1MJIM
ISBN-13 978B00FD1MJI1
Sales Rank #99,999,999
Marketplace United States 🇺🇸
Donate to EbookNetworking
No Prev
No Next