Items related to An Introduction to Formal Program Verification
Synopsis
Book by Mili Ali
"synopsis" may belong to another edition of this title.
Search results for An Introduction to Formal Program Verification
Stock Image
An Introduction to Program Verification
Published by
Wiley & Sons, Incorporated, John, 1985
ISBN 10: 0442263228
ISBN 13: 9780442263225
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
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. Seller Inventory # 12455420-6
Seller Image
An Introduction to Formal Program Verification
Seller: Solr Books, Lincolnwood, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good. This book is in Very good condition. There may be a few flaws like shelf wear and some light wear. Seller Inventory # BCV.0442263228.VG