Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
by
J Strother Moore
Hardcover
details (
United States
).
ISBN: 978-0-7923-3920-5
ISBN-10: 0-7923-3920-7
Springer
· 1996
