Order Total (1 Item Items):
Shipping Destination:
Formal Methods Program Verification by Franta (6 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (6)
- 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 (6)
- Fair or Poor (No further results match this refinement)
- 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 (1)
- Not Print on Demand (6)
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
-
Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item for full refund. Ships USPS Media Mail.
-
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ 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.
-
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ 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,
