Artículos relacionados a Adapting Proofs-as-Programs: The Curry--Howard Protocol...
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science) - Tapa dura
Sinopsis
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas
From the reviews:
"This monograph serves the dual purpose of providing a state-of-the-art overview of the field and detailing tools and techniques to stimulate further research. It can serve as material for graduate students in computer science or mathematics, the proofs-as-programs research community and the computational logic, formal methods and software engineering communities." (Doina Tatar, Zentralblatt MATH, Vol. 1095 (21), 2006)
Reseña del editor
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 45,47
GRATIS gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Adapting Proofs-as-Programs: The Curry--Howard Protocol...
Imagen del vendedor
Adapting Proofs-as-Programs: The Curry--Howard Protocol Monographs in Computer Science
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
gebundene Ausgabe. Condición: Gut. 420 Seiten Das Buch befindet sich in einem ordentlich erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 735. Nº de ref. del artículo: 2132895
Cantidad disponible: 1 disponibles
Imagen de archivo
Adapting Proofs-As-Programs (Hb)
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-249323
Cantidad disponible: 2 disponibles
Imagen de archivo
Adapting Proofs-As-Programs (Hb)
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Nº de ref. del artículo: ASNT3-249323
Cantidad disponible: 2 disponibles
Imagen de archivo
Adapting Proofs-as-Programs
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 436 Illus. Nº de ref. del artículo: 7597058
Cantidad disponible: 4 disponibles
Imagen de archivo
Adapting Proofs-as-Programs
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 436. Nº de ref. del artículo: 26283613
Cantidad disponible: 4 disponibles
Imagen de archivo
Adapting Proofs-as-Programs
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 436. Nº de ref. del artículo: 18283607
Cantidad disponible: 4 disponibles
Edición internacional
Adapting Proofs-As-Programs (Hb)
Edición internacionalLibrería: UK BOOKS STORE, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Nº de ref. del artículo: CBS 9780387237596
Cantidad disponible: 8 disponibles
Edición internacional
Adapting Proofs-As-Programs (Hb)
Edición internacionalLibrería: URW Books Store, CASPER, WY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. Brand New! . "This is an International Edition." Book is In New condition and ship within One Working Day Tracking Number Provided by Customer 12-24 In To Hour, Deliver by FedEx & Aramex, UPS, & USPS Act. Order can be delivered worldwide With In 7-10 Working day Delivery. Ship from India & United States. Nº de ref. del artículo: CBSBOOKS21778
Cantidad disponible: 8 disponibles
Imagen de archivo
Adapting Proofs-As-Programs (Hb)
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-398093
Cantidad disponible: 8 disponibles
Imagen de archivo
Adapting Proofs-as-programs : The Curry-howard Protocol
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-81957
Cantidad disponible: 1 disponibles