Articles liés à Lectures on the Logic of Computer Programming
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.
- ÉditeurSociety for Industrial and Applied Mathematics
- Date d'édition1987
- ISBN 10 0898711649
- ISBN 13 9780898711646
- ReliureBroché
- Langueanglais
- Nombre de pages53
- Coordonnées du fabricantnon disponible
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
Quantité disponible : 1 disponible(s)
Image d'archives
Lectures on the Logic of Computer Programming
Edité par
Society for Industrial Mathematics, 1987
ISBN 10 : 0898711649
ISBN 13 : 9780898711646
Ancien ou d'occasion
Paperback
Vendeur : Michener & Rutledge Booksellers, Inc., Baldwin City, KS, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Crimped corner, otherwise text clean and solid; CBMS-NSF Regional Conference Series in Applied Mathematics 31; 0.4 x 9.8 x 6.8 Inches; 53 pages. N° de réf. du vendeur 210461
Quantité disponible : 1 disponible(s)