-
1. Piton: A Mechanically Verified Assembly-Level Language
by Moore, J Strother
Seller Description: New. Print on demand Trade paperback (US). Glued binding. 320 p. Contains: Illustrations, black & white. Automated Reasoning, 3. See More Details
2013, Springer
ISBN-13: 9789401737913
Trade paperback, New
NV, USA
$51.65
-
2. Piton: a Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
by Moore, J Strother
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2013, Springer
ISBN-13: 9789401737913
paperback, Good
Santa Clarita, CA, USA
$87.71
-
3. Piton: a Mechanically Verified Assembly-Level Language (Automated Reasoning Series, Vol. 3)
by Moore, J. Strother
Seller Description: As New hardcover in glossy boards (no markings) / No dust jacket as issued. Clean and fresh. A new copy. 320 pp. Index. See More Details
1996, Kluwer Academic Publishers
ISBN-13: 9780792339205
Hardcover, Fine/Like New
Stow, OH, USA
$220.00
|
