Importe total (1 artículo artículos):
Destino del pedido:
lectures logic computer programming de manna (13 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (13)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (10)
- Como nuevo, Excelente o Muy bueno (3)
- Bueno o Aceptable (No hay ningún otro resultado que coincida con este filtro.)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (13)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (2)
- No impresión bajo demanda (13)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Lectures on the Logic of Computer Programming
Idioma: Inglés
Publicado por Society for Industrial and Applied Mathematics, 1980
ISBN 10: 0898711649 ISBN 13: 9780898711646
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
OportunidadEUR 5,55
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. 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.
-
Lectures on the Logic of Computer Programming
Idioma: Inglés
Publicado por Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 48,79
Envío por EUR 2,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Lectures on the Logic of Computer Programming
Idioma: Inglés
Publicado por Society for Industrial and Applied Mathematics,U.S., US, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 51,18
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. 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.
-
Lectures on the Logic of Computer Programming
Idioma: Inglés
Publicado por MP-SIA SIAM - Society for Industrial and Applied M, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 47,37
Envío por EUR 3,86
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
-
Lectures on the Logic of Computer Programming
Idioma: Inglés
Publicado por Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 51,42
Envío por EUR 2,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Lectures on the Logic of Computer Programming
Idioma: Inglés
Publicado por Society for Industrial & Applied, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 49,32
Envío por EUR 11,74
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 49 pages. 10.00x7.00x0.25 inches. In Stock.
-
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Idioma: Inglés
Publicado por Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 50,48
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. 1987. paperback. . . . . .
-
Lectures on the Logic of Computer Programming
Idioma: Inglés
Publicado por Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 47,91
Envío por EUR 17,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Lectures on the Logic of Computer Programming
Idioma: Inglés
Publicado por Society for Industrial & Applied Mathematics,U.S., 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,10
Envío por EUR 14,38
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: New. New copy - Usually dispatched within 4 working days.
-
Lectures on the Logic of Computer Programming: 31 (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Idioma: Inglés
Publicado por Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 62,68
Envío por EUR 9,21
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. 1987. paperback. . . . . . Books ship from the US and Ireland.
-
Lectures on the Logic of Computer Programming
Idioma: Inglés
Publicado por Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 54,77
Envío por EUR 17,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
Idioma: Inglés
Publicado por Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Librería: SHIMEDIA, Brooklyn, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 117,41
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Satisfaction Guaranteed or your money back.
-
Lectures on the Logic of Computer Programming
Idioma: Inglés
Publicado por Society for Industrial and Applied Mathematics,U.S., US, 1987
ISBN 10: 0898711649 ISBN 13: 9780898711646
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 47,93
Envío por EUR 76,30
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. 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.
