Formal Methods Program Verification Specification by Berg Franta Moher Boebert (1 results)

Author:

Title:

Refine with Advanced Search

Formal Methods of Program Verification and Specification
Berg, H. K., W. R. Franta, T. G. Moher, W. E. Boebert
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
5-star seller
Contact seller
Condition: Used - Good
£ 23.40
£ 3.41 shipping
Ships within U.S.A.
Quantity: 1 available
Add to basket
Paperback. 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.