Reparti Books

Adapting Proofs-As-Programs: The Curry--Howard Protocol

Adapting Proofs-As-Programs: The Curry--Howard Protocol

di Iman Poernomo, John N. Crossley, Martin Wirsing

  • Prezzo: € 84.28
Spedizione gratuita (Leggi i dettagli)
Normalmente disponibile in 6/7 giorni lavorativi
Aggiungi al carrello
(puoi sempre toglierlo dopo)

Contenuto

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.

Dettagli del prodotto


Commenti degli utenti

Scrivi un nuovo commento su Adapting Proofs-As-Programs: The Curry--Howard Protocol e condividi la tua opinione con altri utenti.
PowerSearch   Ricerca Avanzata

Ultimi prodotti visti

 
Reparti • Libri
• Libri Scolastici
• Books
• E-book
• Dvd
• Videogames
• Remainders -55%
• Giocattoli
 		My Account • Accedi al tuo account
• Verifica lo stato dell'ordine
• Apri un nuovo account 		Hai bisogno
d'aiuto? • Dimenticato la password?
• Come fare un ordine
• Quando riceverò il mio ordine?
• Contatta il servizio Clienti
Webster.it
webster.it © 2000-2012 | Webster srl - P.IVA 03556440281 - All rights Reserved
Diventa Partner  |   Condizioni d'acquisto  |   Privacy  |   Contattaci