Home › Books › Piton: A Mechanically Verified Assembly-Level Language (Aut…
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series) Buy on Amazon

https://www.ebooknetworking.net/books_detail-0792339207.html

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

AuthorJ Strother Moore
PublisherSpringer
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Buy New on Amazon 🇬🇧

Book Details

Author(s)J Strother Moore
PublisherSpringer
ISBN / ASIN0792339207
ISBN-139780792339205
MarketplaceUnited Kingdom  🇬🇧
Donate to EbookNetworking
Prev
Next