Andreas Podelski (81 results)
- Softcover
Seller: GuthrieBooks, Spring Branch, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
£ 3.85
£ 5.24 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Interior clean and unmarked. Tight binding.
More images- Softcover
Seller: BookAddiction (IOBA, IBooknet), Canterbury, United KingdomBookAddiction (IOBA, IBooknet)
Contact seller5-star sellerCondition: Used - Good
£ 20.00
£ 5.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Softcover. Condition: Good. Dust Jacket Condition: N/A. xii, 613pp. Pictorial light card covers. 8vo. Lender applied self-adhesive semi-rigid plastic cover protection, shelf number label and tape on spine. Pages tanning. Otherwise, internally neat, clean and tight.
- Softcover
Seller: Better World Books, Mishawaka, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
£ 35.46
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. 1995th Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: GuthrieBooks, Spring Branch, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
£ 30.88
£ 5.24 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 43.17
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Softcover
Seller: Basi6 International, Irving, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 43.17
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Verified Software: Theories, Tools, Experiments : 4th International Conference, Vstte 2012, Philadelphia, Pa, USA, January 28-29, 2012 Proceedings
Joshi, Rajeev (EDT); Müller, Peter (EDT); Podelski, Andreas (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 46.38
£ 1.98 shippingShips within U.S.A.Quantity: 2 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 46.38
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 52.33
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Softcover
Seller: Basi6 International, Irving, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 52.33
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Verified Software: Theories, Tools, Experiments : 4th International Conference, Vstte 2012, Philadelphia, Pa, USA, January 28-29, 2012 Proceedings
Joshi, Rajeev (EDT); Müller, Peter (EDT); Podelski, Andreas (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.54
£ 1.98 shippingShips within U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.89
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin 2012
- Softcover
Seller: Grand Eagle Retail, Bensenville, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 56.93
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revis…ed and selected from 54 initial submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design methodologies, tool integration and plug-ins, automation in formal verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 55.54
£ 2.99 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 340.
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 52.63
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. 340 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Softcover
Seller: Biblios, frankfurt am main, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 54.76
£ 8.60 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. pp. 340.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.80
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.81
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.94
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.97
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.42
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 62.36
£ 9.07 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.92
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 71.17
£ 2.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 72.21
£ 2.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 1st ed. 2019 edition NO-PA16APR2015-KAP.
Verified Software:: Theories, Tools, Experiments, 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Joshi, Rajeev (Editor)/ Muller, Peter (Editor)/ Podelski, Andreas (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 67.19
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2012 edition. 337 pages. 9.50x6.25x0.75 inches. In Stock.
