Artículos relacionados a Lectures on the Logic of Computer Programming Paperback:...
Lectures on the Logic of Computer Programming Paperback: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31) - Tapa blanda
Sinopsis
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSociety for Industrial and Applied Mathematics
- Año de publicación1987
- ISBN 10 0898711649
- ISBN 13 9780898711646
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas53
- Contacto del fabricanteno disponible
Resultados de la búsqueda para Lectures on the Logic of Computer Programming Paperback:...
Imagen de archivo
Lectures on the Logic of Computer Programming
Publicado por
Society for Industrial and Applied Mathematics, 1980
ISBN 10: 0898711649
ISBN 13: 9780898711646
Antiguo o usado
Softcover
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: 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 ref. del artículo: E-566-783
Cantidad disponible: 1 disponibles
Imagen de archivo
Lectures on the Logic of Computer Programming
Publicado por
Society for Industrial Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Antiguo o usado
Paperback
Librería: Michener & Rutledge Booksellers, Inc., Baldwin City, KS, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: 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 ref. del artículo: 210461
Cantidad disponible: 1 disponibles