ISBN: 9780898711646 - lectures on the logic of computer programming (14 risultati)
Lingua: Inglese
Editore: Society for Industrial and Applied Mathematics, 1980
- Brossura
Da: Ammareal, Morangis, FranciaAmmareal
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Quasi ottimo
EUR 3,99
EUR 16,50 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibile
Softcover. Condizione: 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.…
Lingua: Inglese
Editore: Society for Industrial and Applied Mathematics, 1987
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 49,47
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New.
Lingua: Inglese
Editore: Society for Industrial and Applied Mathematics,U.S., US, 1987
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 51,90
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Paperback. Condizione: 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. …
Lingua: Inglese
Editore: MP-SIA SIAM - Society for Industrial and Applied M, 1987
- Brossura
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,08
EUR 3,92 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Lingua: Inglese
Editore: Society for Industrial and Applied Mathematics, 1987
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 51,96
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,23
EUR 11,91 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 49 pages. 10.00x7.00x0.25 inches. In Stock.
Lingua: Inglese
Editore: Society for Industrial and Applied Mathematics, 1987
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,48
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 1 disponibile
Condizione: New. 1987. paperback. . . . . .
Lingua: Inglese
Editore: Society for Industrial and Applied Mathematics, 1987
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,06
EUR 17,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: New.
Lingua: Inglese
Editore: Society for Industrial & Applied Mathematics,U.S., 1987
- Brossura
Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,93
EUR 14,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: New. New copy - Usually dispatched within 4 working days.
Lingua: Inglese
Editore: Society for Industrial and Applied Mathematics, 1987
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,67
EUR 9,35 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
Condizione: New. 1987. paperback. . . . . . Books ship from the US and Ireland.
Lingua: Inglese
Editore: Society for Industrial and Applied Mathematics, 1987
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 55,58
EUR 17,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Society for Industrial and Applied Mathematics, 1987
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 54,34
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Condizione: New.
Lingua: Inglese
Editore: Society for Industrial and Applied Mathematics, 1987
- Brossura
Da: SHIMEDIA, Brooklyn, NY, U.S.A.SHIMEDIA
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 119,27
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibile
Condizione: New. Satisfaction Guaranteed or your money back.
Lingua: Inglese
Editore: Society for Industrial and Applied Mathematics,U.S., US, 1987
- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,65
EUR 77,43 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Paperback. Condizione: 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. …
