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

Author: 
Title: 
Refine with Advanced Search

Refine your search

  • Books (1)

Learn more

to

Custom price range (US$)

to

    • Language: English

      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

      US$ 30.00

      US$ 4.50 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.