Beringer Lennart Con (4 results)
Program Logics for Certified Compilers
Appel, Andrew W.; Dockins, Robert (CON); Hobor, Aquinas (CON); Beringer, Lennart (CON); Dodds, Josiah (CON)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 98.03
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Program Logics for Certified Compilers
Appel, Andrew W.; Dockins, Robert (CON); Hobor, Aquinas (CON); Beringer, Lennart (CON); Dodds, Josiah (CON)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 104.27
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Program Logics for Certified Compilers
Appel, Andrew W.; Dockins, Robert (CON); Hobor, Aquinas (CON); Beringer, Lennart (CON); Dodds, Josiah (CON)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 100.98
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Program Logics for Certified Compilers
Appel, Andrew W.; Dockins, Robert (CON); Hobor, Aquinas (CON); Beringer, Lennart (CON); Dodds, Josiah (CON)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 104.64
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
