Order Total (1 Item Items):
Shipping Destination:
Lectures Logic Computer Programming by Manna Zohar (13 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (13)
- 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 (10)
- As New, Fine or Near Fine (3)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (13)
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 (13)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Lectures on the Logic of Computer Programming
Language: English
Published by Society for Industrial and Applied Mathematics, 1980
ISBN 10: 0898711649 ISBN 13: 9780898711646
£ 5.41 10% off£ 4.87
£ 14.06 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1980. Tome 31. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritativ ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Slight signs of wear on the cover. Stains on the edge. Edition 1980. Volume 31. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Lectures on the Logic of Computer Programming
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Condition: New.
-
Lectures on the Logic of Computer Programming
Language: English
Published by Society for Industrial and Applied Mathematics,U.S., US, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification.
-
Lectures on the Logic of Computer Programming
Language: English
Published by MP-SIA SIAM - Society for Industrial and Applied M, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Lectures on the Logic of Computer Programming
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Condition: As New. Unread book in perfect condition.
-
Lectures on the Logic of Computer Programming
Language: English
Published by Society for Industrial & Applied, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Paperback. Condition: Brand New. 49 pages. 10.00x7.00x0.25 inches. In Stock.
-
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 1987. paperback. . . . . .
-
Lectures on the Logic of Computer Programming
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Lectures on the Logic of Computer Programming
Language: English
Published by Society for Industrial & Applied Mathematics,U.S., 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. New copy - Usually dispatched within 4 working days.
-
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Condition: New. 1987. paperback. . . . . . Books ship from the US and Ireland.
-
Lectures on the Logic of Computer Programming
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Condition: New. Satisfaction Guaranteed or your money back.
-
Lectures on the Logic of Computer Programming
Language: English
Published by Society for Industrial and Applied Mathematics,U.S., US, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Paperback. Condition: New. This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification.
