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.