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 Formal Program Verification
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0442263228I3N10
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: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 2889786-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 books is in Very good condition. There may be a few flaws like shelf wear and some light wear. Seller Inventory # BCV.0442263228.VG