Spedizione gratuita per ordini superiori a 69,99 euro.
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi.
Crea un account gratuito
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 €
Punto Poste 5.49 €
Punto Poste 5.49 €
Punto Bartolini 3.49 €
DHL 6.99 €
GLS 7.99 €
Contatto
Come acquistare
Aiuto
Consegna
Bartolini 4.49 €
Punto Poste 5.49 €
Punto Poste 5.49 €
Punto Bartolini 3.49 €
DHL 6.99 €
GLS 7.99 €
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Guida all'acquisto
Il mio account
▸
Vuoto :-(
0
Spedizione gratuita per ordini superiori a 69,99 euro.
Types for Proofs and Programs
International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Lingua
Inglese
Inglese
Libro
In brossura
This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop...
Descrizione completa
Codice Libristo: 01569105
?
141 b
141 b
57.79
€
Magazzino esterno in piccole quantità
Inviamo tra 13-18 giorni
30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
24.59
€
/
In brossura
13.39
€
/
In brossura
37.29
€
/
In brossura
26.19
€
/
In brossura
21.29
€
This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006.§The 17 revised full papers presented were carefully reviewed and selected from 29 submissions. All current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.
Attrice
&
Poliglotta
EWA KASP
per
Riproduci video
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.
Informazioni sul libro
Titolo completo
Types for Proofs and Programs
Autore
Thorsten Altenkirch, Conor McBride
Lingua
Inglese
Inglese
Rilegatura
Libro - In brossura
Data di pubblicazione
2007
Numero di pagine
272
EAN
9783540744634
ISBN
3540744630
Codice Libristo
01569105
Casa editrice
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso
900
Dimensioni
155 x 235 x 18
Categorie
Tecnologia, Ingegneria, Agricoltura, processi industriali
>
Ingegneria elettronica e delle comunicazioni
>
Ingegneria elettronica
>
Ingegneria del controllo automatico
>
Robotica
Informatica e Tecnologia dell’Informazione
>
Scienza dei calcolatori
>
Teoria matematica della computazione
>
Matematica per informatici
Informatica e Tecnologia dell’Informazione
>
Programmazione / ingegneria del software
>
Compilatori e interpreti
Informatica e Tecnologia dell’Informazione
>
Programmazione / ingegneria del software
>
Linguaggi di programmazione e scripting: generale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
In brossura
53.79
€
/
In brossura
11.79
€
/
In brossura
24.09
€
/
In brossura
13.59
€
/
In brossura
23.89
€
Consulente di libri Libroamiko
Utilizzando questa chat, stai comunicando con un'intelligenza artificiale generativa. Utilizzandola, accetti anche il trattamento dei dati personali.
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?
Ciao, sono Libroamiko, posso aiutarti?