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,

Seller Inventory # 15494

Contact seller

Report this item

Bibliographic Details

Title: Formal Methods of Program Verification and Specification
Publisher: UMN, Honeywell and Institut fur Technische Informatik
Publication Date: 1979
Binding: Paperback
Edition: First edition.
Condition: Good
Weight: 24 ounces

Store Description

Mythos Center Books is a research archive connected with Mythos Center, specializing in the areas of folklore, mythology, comparative religions, psychology, sociology, and depth psychology. Established 1990. Please send us with your want lists in these fields. As of 2025, we are dispersing the Mythos Center research collection.

Visit Seller's Storefront

Seller's business information

Mythos Center Books
MN, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee our sales. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) you are eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 3 business days. Or contact us directly at mythbook@earthlink.net. Thank you for your order.

Shipping Terms

Orders usually ship within 3 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 4.50	US$ 6.95

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment Methods

Add to Wants