Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
Book Details
Author(s)J Strother Moore
PublisherSpringer
ISBN / ASIN0792339207
ISBN-139780792339205
MarketplaceUnited Kingdom 🇬🇧
