This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended... This description may be from another edition of this product.
Format:Paperback
Language:English
ISBN:0898711649
ISBN13:9780898711646
Release Date:January 1987
Publisher:Society for Industrial and Applied Mathematic
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.