Software Verification (Over 1,100 results)
Language: English
Published by Prentice Hall, Inc, Lebanon, Indiana, U.S.A., 1982
- Hardcover
Seller: Bramble Ridge Books, Frankewing, TN, U.S.A.Bramble Ridge Books
Contact seller5-star sellerCondition: Used - Very good
US$ 1.99
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. "The main thrust of this book is to describe verification and validation approaches that have been used successfully on contemporary large-scale software projects." The previous owner's name is stamped on the first page.
- Hardcover
Seller: Wonder Book, Frederick, MD, U.S.A.Wonder Book
Contact seller5-star sellerCondition: Used - Very good
US$ 6.99
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
- Hardcover
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.World of Books (was SecondSale)
Contact seller5-star sellerCondition: Used - Very good
US$ 7.56
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
- Hardcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerCondition: Used - Good
US$ 7.98
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contact seller5-star sellerCondition: Used - Good
US$ 7.98
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.Bay State Book Company
Contact seller5-star sellerCondition: Used - Very good
US$ 8.09
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: very_good.
- Hardcover
Seller: Better World Books: West, Reno, NV, U.S.A.Better World Books: West
Contact seller5-star sellerCondition: Used - Good
US$ 8.75
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. 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.
- Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
US$ 8.75
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Hardcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerCondition: Used - Very good
US$ 9.71
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contact seller5-star sellerCondition: Used - Very good
US$ 9.71
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
US$ 5.98
US$ 3.75 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
Language: English
Published by CreateSpace Independent Publishing Platform, 2017
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 10.51
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
Contact seller5-star sellerCondition: Used - Very good
US$ 6.61
US$ 6.77 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. 2 Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Language: English
Published by CreateSpace Independent Publishing Platform, 2017
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 11.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
US$ 10.55
US$ 3.75 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
- Softcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerCondition: Used - Good
US$ 14.54
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerCondition: Used - Very good
US$ 14.54
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
Contact seller5-star sellerCondition: Used - Very good
US$ 8.23
US$ 6.77 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: AwesomeBooks, Wallingford, United KingdomAwesomeBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 11.45
US$ 5.58 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13â"14, 2019, Proceedings: 11652 (Lecture Notes in Computer Science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of w…ear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
- Softcover
- First Edition
Seller: Better World Books: West, Reno, NV, U.S.A.Better World Books: West
Contact seller5-star sellerCondition: Used - Very good
US$ 16.95
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. 1st Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Language: English
Published by Princeton University Press, 2019
Series: Book 30 of 33 - Princeton Series in Applied Mathematics
- Hardcover
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.World of Books (was SecondSale)
Contact seller5-star sellerCondition: Used - Very good
US$ 16.98
Free ShippingShips within U.S.A.Quantity: 3 available
Condition: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
- Hardcover
- First Edition
Seller: Bingo Books 2, Vancouver, WA, U.S.A.Bingo Books 2
Contact seller4-star sellerCondition: Used - Near fine
US$ 11.00
US$ 6.29 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Near Fine. 1st Edition. hardback book in near fine condition.
- Hardcover
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United KingdomPhatpocket Limited
Contact seller5-star sellerCondition: Used - Good
US$ 4.54
US$ 14.42 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
- Hardcover
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United KingdomPhatpocket Limited
Contact seller5-star sellerCondition: Used - Good
US$ 4.54
US$ 14.42 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. Pencil on inside page. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions….
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 19.14
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Verification and Validation of Autonomy Software at NASA. Book.
Rigorous Software Development: An Introduction to Program Verification
Almeida, Josà Bacelar; Frade, Maria João; Pinto, Jorge Sousa
Language: English
Published by Springer, 2011
Series: Book 20 of 99 - Undergraduate Topics in Computer Science
- Softcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contact seller5-star sellerCondition: Used - Very good
US$ 19.93
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contact seller5-star sellerCondition: Used - Fair
US$ 19.94
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerCondition: Used - Good
US$ 19.94
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
US$ 20.15
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. 2 Edition. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Hardcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerCondition: Used - Very good
US$ 22.01
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
