Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Lectures on the Logic of Computer Programming
Image d'archives
Lectures on the Logic of Computer Programming
Edité par
Society for Industrial and Applied Mathematics, 1980
ISBN 10 : 0898711649
ISBN 13 : 9780898711646
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : 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. N° de réf. du vendeur E-566-783
Acheter D'occasion
EUR 5,55
Expédition à EUR 16,50
Expédition depuis France vers Etats-Unis
Expédition depuis France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Lectures on the Logic of Computer Programming
Edité par
Society for Industrial and Applied Mathematics, 1987
ISBN 10 : 0898711649
ISBN 13 : 9780898711646
Neuf
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 1214136-n
Acheter neuf
EUR 48,79
Expédition à EUR 2,31
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Lectures on the Logic of Computer Programming
Edité par
Society for Industrial and Applied Mathematics,U.S., US, 1987
ISBN 10 : 0898711649
ISBN 13 : 9780898711646
Neuf
Paperback
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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. N° de réf. du vendeur LU-9780898711646
Acheter neuf
EUR 51,18
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Lectures on the Logic of Computer Programming
Edité par
MP-SIA SIAM - Society for Industrial and Applied M, 1987
ISBN 10 : 0898711649
ISBN 13 : 9780898711646
Neuf
PAP
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur FW-9780898711646
Acheter neuf
EUR 47,37
Expédition à EUR 3,86
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Lectures on the Logic of Computer Programming
Edité par
Society for Industrial and Applied Mathematics, 1987
ISBN 10 : 0898711649
ISBN 13 : 9780898711646
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 1214136
Acheter D'occasion
EUR 51,42
Expédition à EUR 2,31
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Edité par
Society for Industrial and Applied Mathematics, 1987
ISBN 10 : 0898711649
ISBN 13 : 9780898711646
Neuf
Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 1987. paperback. . . . . . N° de réf. du vendeur V9780898711646
Acheter neuf
EUR 50,48
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Lectures on the Logic of Computer Programming
Edité par
Society for Industrial & Applied, 1987
ISBN 10 : 0898711649
ISBN 13 : 9780898711646
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 49 pages. 10.00x7.00x0.25 inches. In Stock. N° de réf. du vendeur __0898711649
Acheter neuf
EUR 49,32
Expédition à EUR 11,74
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Lectures on the Logic of Computer Programming
Edité par
Society for Industrial and Applied Mathematics, 1987
ISBN 10 : 0898711649
ISBN 13 : 9780898711646
Neuf
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 1214136-n
Acheter neuf
EUR 47,91
Expédition à EUR 17,61
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Lectures on the Logic of Computer Programming
Edité par
Society for Industrial & Applied Mathematics,U.S., 1987
ISBN 10 : 0898711649
ISBN 13 : 9780898711646
Neuf
Paperback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. New copy - Usually dispatched within 4 working days. N° de réf. du vendeur B9780898711646
Acheter neuf
EUR 56,10
Expédition à EUR 14,38
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Edité par
Society for Industrial and Applied Mathematics, 1987
ISBN 10 : 0898711649
ISBN 13 : 9780898711646
Neuf
Couverture souple
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 1987. paperback. . . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9780898711646
Acheter neuf
EUR 62,68
Expédition à EUR 9,21
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)