Berard Bidoit Mckenzie (9 results)
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.; McKenzie, P. [Translator]
- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
£ 96.70
£ 5.22 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
Systems and Software Verification : Model-Checking Techniques and Tools
Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 145.66
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Systems and Software Verification : Model-Checking Techniques and Tools
Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 127.59
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 170.76
£ 3.00 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 208.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 171.43
£ 3.00 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 212.
Systems and Software Verification : Model-Checking Techniques and Tools
Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 205.99
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Systems and Software Verification : Model-Checking Techniques and Tools
Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 240.14
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 178.74
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 208 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Hardcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 178.99
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 212 Illus.
