Systems Software Verification Model Checking by Berard Bidoit (10 results)
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.
- Hardcover
Seller: PAPER CAVALIER UK, London, United KingdomPAPER CAVALIER UK
Contact seller4-star sellerCondition: Used - Very good
US$ 27.45
US$ 8.08 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Very good
US$ 103.65
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Sh…ips USPS Media Mail.
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
US$ 124.99
US$ 6.95 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, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 177.03
US$ 16.14 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 177.03
US$ 16.14 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
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
US$ 177.01
US$ 20.20 shippingShips from United Kingdom to 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: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 190.24
US$ 2.64 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: Used - As new
US$ 291.33
US$ 20.20 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 280.24
US$ 33.67 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
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
US$ 311.26
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
