Lectures Logic Computer Programming by Manna Zohar (13 results)
Language: English
Published by Society for Industrial and Applied Mathematics, 1980
- Softcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Near fine
Original price: £ 5.41; 10% offCurrent price: £ 4.87
£ 14.06 shippingShips from France to U.S.A.Quantity: 1 available
Softcover. 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.
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 41.57
£ 1.97 shippingShips within U.S.A.Quantity: 2 available
Condition: New.
Language: English
Published by Society for Industrial and Applied Mathematics,U.S., US, 1987
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 43.61
Free ShippingShips from United Kingdom to U.S.A.Quantity: 1 available
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.
Language: English
Published by MP-SIA SIAM - Society for Industrial and Applied M, 1987
- Softcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
£ 39.18
£ 3.29 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 43.81
£ 1.97 shippingShips within U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 40.80
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 49 pages. 10.00x7.00x0.25 inches. In Stock.
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 44.29
£ 8.95 shippingShips from Ireland to U.S.A.Quantity: 1 available
Condition: New. 1987. paperback. . . . . .
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 39.63
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Condition: New.
Language: English
Published by Society for Industrial & Applied Mathematics,U.S., 1987
- Softcover
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
£ 46.40
£ 12.25 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: New. New copy - Usually dispatched within 4 working days.
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 53.40
£ 7.84 shippingShips within U.S.A.Quantity: 1 available
Condition: New. 1987. paperback. . . . . . Books ship from the US and Ireland.
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 45.30
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Society for Industrial and Applied Mathematics, 1987
- Softcover
Seller: SHIMEDIA, Brooklyn, NY, U.S.A.SHIMEDIA
Contact seller5-star sellerCondition: New
£ 100.02
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. Satisfaction Guaranteed or your money back.
Language: English
Published by Society for Industrial and Applied Mathematics,U.S., US, 1987
- Softcover
Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
£ 39.64
£ 65.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
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.
