Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series) Buy on Amazon
Facebook LinkedIn

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

Publisher Springer
Book Details
Author(s) J Strother Moore
Publisher Springer
ISBN / ASIN 0792339207
ISBN-13 9780792339205
Marketplace United States 🇺🇸
Donate to EbookNetworking
No Prev
No Next