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 🇺🇸
Ratings & Reviews No reviews yet — be the first!

No reviews yet.

Donate to EbookNetworking
No Prev
No Next