This text describes how to write (nearly) bug-free programs. It shows how methods can be applied in three key areas of software development: specification, verification and testing. Examples are... This description may be from another edition of this product.
ThriftBooks sells millions of used books at the lowest
everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We
deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15.
ThriftBooks.com. Read more. Spend less.