Formal Methods Program Verification by Franta (3 results)
- 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.
Published by UMN, Honeywell and Institut fur Technische Informatik, 1979
- Softcover
- First Edition
Seller: Mythos Center Books, Frontenac, MN, U.S.A.Mythos Center Books
Contact seller5-star sellerCondition: Used - Good
US$ 30.00
US$ 4.50 shippingShips within U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Good. First edition. Quarto, stiff wraps with black backstrip. Wraps are silverfished at head. 117 pages with references. Large program design and management. Laid in (may or may not be related) "Computation of Achromatic Objectives" by Robert E. Stephens. NBS Circular 549.
