ISBN: 9780898711646 - lectures on the logic of computer programming paperback: 31 (cbms-nsf regional conference series in applied mathematics, series number 31) (14 resultados)
Idioma: Inglés
Editorial: Society for Industrial and Applied Mathematics, 1980
- Tapa blanda
Librería: Ammareal, Morangis, FranciaAmmareal
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Muy bueno
EUR 3,99
Envío por EUR 16,50Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponible
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.…
Idioma: Inglés
Editorial: Society for Industrial and Applied Mathematics, 1987
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,47
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New.
Idioma: Inglés
Editorial: Society for Industrial and Applied Mathematics,U.S., US, 1987
- Tapa blanda
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 51,90
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
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.…
Idioma: Inglés
Editorial: MP-SIA SIAM - Society for Industrial and Applied M, 1987
- Tapa blanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,08
Envío por EUR 3,92Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Idioma: Inglés
Editorial: Society for Industrial and Applied Mathematics, 1987
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 51,96
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 46,23
Envío por EUR 11,91Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 49 pages. 10.00x7.00x0.25 inches. In Stock.
Idioma: Inglés
Editorial: Society for Industrial and Applied Mathematics, 1987
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,48
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New. 1987. paperback. . . . . .
Idioma: Inglés
Editorial: Society for Industrial and Applied Mathematics, 1987
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,06
Envío por EUR 17,87Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New.
Idioma: Inglés
Editorial: Society for Industrial & Applied Mathematics,U.S., 1987
- Tapa blanda
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,93
Envío por EUR 14,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: New. New copy - Usually dispatched within 4 working days.
Idioma: Inglés
Editorial: Society for Industrial and Applied Mathematics, 1987
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 63,67
Envío por EUR 9,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New. 1987. paperback. . . . . . Books ship from the US and Ireland.
Idioma: Inglés
Editorial: Society for Industrial and Applied Mathematics, 1987
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 55,57
Envío por EUR 17,87Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Society for Industrial and Applied Mathematics, 1987
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,34
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New.
Idioma: Inglés
Editorial: Society for Industrial and Applied Mathematics, 1987
- Tapa blanda
Librería: SHIMEDIA, Brooklyn, NY, Estados Unidos de AmericaSHIMEDIA
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 119,27
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New. Satisfaction Guaranteed or your money back.
Idioma: Inglés
Editorial: Society for Industrial and Applied Mathematics,U.S., US, 1987
- Tapa blanda
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,65
Envío por EUR 77,43Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
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.…
