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.
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
Comprar usado
EUR 5,55
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de America
Se envía de Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Lectures on the Logic of Computer Programming
Publicado por
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuevo
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 1214136-n
Comprar nuevo
EUR 48,79
Envío por EUR 2,31
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Lectures on the Logic of Computer Programming
Publicado por
Society for Industrial and Applied Mathematics,U.S., US, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuevo
Paperback
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: 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 ref. del artículo: LU-9780898711646
Comprar nuevo
EUR 51,18
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Lectures on the Logic of Computer Programming
Publicado por
MP-SIA SIAM - Society for Industrial and Applied M, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuevo
PAP
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: FW-9780898711646
Comprar nuevo
EUR 47,37
Envío por EUR 3,86
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Lectures on the Logic of Computer Programming
Publicado por
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 1214136
Comprar usado
EUR 51,42
Envío por EUR 2,31
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Publicado por
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 1987. paperback. . . . . . Nº de ref. del artículo: V9780898711646
Comprar nuevo
EUR 50,48
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de America
Se envía de Irlanda a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Lectures on the Logic of Computer Programming
Publicado por
Society for Industrial & Applied, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 49 pages. 10.00x7.00x0.25 inches. In Stock. Nº de ref. del artículo: __0898711649
Comprar nuevo
EUR 49,32
Envío por EUR 11,74
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Lectures on the Logic of Computer Programming
Publicado por
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuevo
Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 1214136-n
Comprar nuevo
EUR 47,91
Envío por EUR 17,61
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Lectures on the Logic of Computer Programming
Publicado por
Society for Industrial & Applied Mathematics,U.S., 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuevo
Paperback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. New copy - Usually dispatched within 4 working days. Nº de ref. del artículo: B9780898711646
Comprar nuevo
EUR 56,10
Envío por EUR 14,38
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Publicado por
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649
ISBN 13: 9780898711646
Nuevo
Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 1987. paperback. . . . . . Books ship from the US and Ireland. Nº de ref. del artículo: V9780898711646
Comprar nuevo
EUR 62,68
Envío por EUR 9,21
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles