Order Total (1 Item Items):
Shipping Destination:
Loeckx Jacques Sieber Kurt Stansifer (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 (1)
- As New, Fine or Near Fine (1)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (2)
- Not Print on Demand (3)
Language (2)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
The foundations of program verification
Language: English
Published by Stuttgart : Teubner; Chichester; New York; Brisbane; Toronto; Singapore : Wiley, 1984
ISBN 10: 3519021013 ISBN 13: 9783519021018
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Hardcover. 230 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Dedication by the author. Retired library copy with corresponding marking. Otherwise, a neat copy. 9783519021018 Sprache: Englisch Gewicht in Gramm: 1000.
-
The Foundations of Program Verification
Language: German
Published by Vieweg + Teubner Verlag, 2013
ISBN 10: 3322967549 ISBN 13: 9783322967541
Paperback. Condition: Brand New. 2nd edition. 239 pages. German language. 8.90x5.98x0.63 inches. In Stock.
-
The Foundations of Program Verification (Series in Computer Science)
Language: German
Published by Vieweg+Teubner Verlag 02.1987., 1987
ISBN 10: 3519121018 ISBN 13: 9783519121015
Seller: Antiquariat Jochen Mohr -Books and Mohr-, Oberthal, Germany
Seller rating 5 out of 5 stars
hardcover. Condition: Sehr gut. 2.Aufl. 1987. 239 Seiten 9783519121015 Wir verkaufen nur, was wir auch selbst lesen würden. Sprache: Deutsch Gewicht in Gramm: 550.
