Beringer Lennart (14 results)

Language: English

Published by Springer, 2012

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 45.47

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings

Language: English

Published by Springer, 2012

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: Used - As new

£ 52.82

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Beringer, Lennart

Language: English

Published by Springer 2012-07, 2012

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

Condition: New

£ 47.92

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 10 available

PF. Condition: New.

Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings

Language: English

Published by Springer, 2012

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 50.40

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)

Language: English

Published by Springer, 2012

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 55.95

£ 11.29 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In English.

Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings

Language: English

Published by Springer, 2012

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Beringer, Lennart (Editor)/ Felty, Amy (Editor)

Condition: Used - As new

£ 55.94

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings

Language: English

Published by Springer Verlag, 2012

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Appel, Andrew W.; Dockins, Robert (CON); Hobor, Aquinas (CON); Beringer, Lennart (CON); Dodds, Josiah (CON)

Condition: New

£ 68.84

£ 12.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 2012 edition. 430 pages. 9.20x6.10x0.98 inches. In Stock.

Program Logics for Certified Compilers

Language: English

Published by Cambridge University Press, 2014

Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Appel, Andrew W.; Dockins, Robert (CON); Hobor, Aquinas (CON); Beringer, Lennart (CON); Dodds, Josiah (CON)

Condition: New

£ 99.28

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Program Logics for Certified Compilers

Language: English

Published by Cambridge University Press, 2014

Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Appel, Andrew W.; Dockins, Robert (CON); Hobor, Aquinas (CON); Beringer, Lennart (CON); Dodds, Josiah (CON)

Condition: Used - As new

£ 105.60

£ 2.00 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Program Logics for Certified Compilers

Language: English

Published by Cambridge University Press, 2014

Hardcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Appel, Andrew W.; Dockins, Robert (CON); Hobor, Aquinas (CON); Beringer, Lennart (CON); Dodds, Josiah (CON)

Condition: New

£ 99.13

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Program Logics for Certified Compilers

Language: English

Published by Cambridge University Press, 2014

Hardcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Appel, Andrew W./ Dockins, Robert (Contributor)/ Hobor, Aquinas (Contributor)/ Beringer, Lennart (Contributor)/ Dodds, Josiah (Contributor)

Condition: Used - As new

£ 104.66

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Program Logics for Certified Compilers

Language: English

Published by Cambridge Univ Pr, 2014

Hardcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Condition: New

£ 133.78

£ 12.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Hardcover. Condition: Brand New. 458 pages. 9.25x6.25x1.00 inches. In Stock.

Interactive Theorem Proving (eng)

Beringer, Lennart

Language: English

Published by Springer, 2012

Softcover
Print on Demand

Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand

5-star seller

Beringer, Lennart|Felty, Amy

Condition: New

£ 40.22

£ 5.74 shipping

Ships from Italy to U.S.A.

Quantity: Over 20 available

Condition: new. Questo è un articolo print on demand.

Interactive Theorem Proving

Language: English

Published by Springer Berlin Heidelberg, 2012

Softcover
Print on Demand

Seller: moluna, Greven, Germanymoluna

5-star seller