Order Total (1 Item Items):
Shipping Destination:
Formal Methods Program Verification by Franta (3 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (3)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (No further results match this refinement)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (2)
- Fair or Poor (1)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (No further results match this refinement)
- Not Print on Demand (3)
Language (2)
Price
- Any Price
- Under US$ 25
- US$ 25 to US$ 50
- Over US$ 50 (No further results match this refinement)
Free Shipping
Seller Location
Seller Rating
-
Hardcover. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Formal Methods of Program Verification and Specification
Published by UMN, Honeywell and Institut fur Technische Informatik, 1979
First Edition
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,
