Van Eekelen Marko Edt (12 results)
Foundational and Practical Aspects of Resource Analysis : Second International Workshop, Fopara 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Pena, Ricardo (EDT); Van Eekelen, Marko (EDT); Shkaravska, Olha (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 51.49
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 52.15
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Interactive Theorem Proving : Second International Conference, Itp 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
Van Eekelen, Marko (EDT); Geuvers, Herman (EDT); Schmaltz, Julien (EDT); Wiedijk, Freek (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 58.43
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Foundational and Practical Aspects of Resource Analysis : Second International Workshop, Fopara 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Pena, Ricardo (EDT); Van Eekelen, Marko (EDT); Shkaravska, Olha (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 60.36
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 68.61
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Interactive Theorem Proving : Second International Conference, Itp 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
Van Eekelen, Marko (EDT); Geuvers, Herman (EDT); Schmaltz, Julien (EDT); Wiedijk, Freek (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.71
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Foundational and Practical Aspects of Resource Analysis : Second International Workshop, Fopara 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Pena, Ricardo (EDT); Van Eekelen, Marko (EDT); Shkaravska, Olha (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 61.61
US$ 20.07 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Foundational and Practical Aspects of Resource Analysis : Second International Workshop, Fopara 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Pena, Ricardo (EDT); Van Eekelen, Marko (EDT); Shkaravska, Olha (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 68.30
US$ 20.07 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 68.70
US$ 20.07 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Interactive Theorem Proving : Second International Conference, Itp 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
Van Eekelen, Marko (EDT); Geuvers, Herman (EDT); Schmaltz, Julien (EDT); Wiedijk, Freek (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.44
US$ 20.07 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 76.09
US$ 20.07 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Interactive Theorem Proving : Second International Conference, Itp 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
Van Eekelen, Marko (EDT); Geuvers, Herman (EDT); Schmaltz, Julien (EDT); Wiedijk, Freek (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.05
US$ 20.07 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
