Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
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 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Types for Proofs and Programs

International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Types for Proofs and Programs Marino Miculan
Codice Libristo: 01567627
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maggio 2008
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the conclud... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

You Are My TRUTH Felicitas Brandt / Libro In brossura
common.buy 16.39 €
Zápisník Black Red tečkovaný L Articoli di cancelleria Articoli di cancelleria
common.buy 8.39 €
Economico
Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins / Libro Rigido
common.buy 5.29 €
I migliori
Nexus Yuval Noah Harari / Libro Rigido
common.buy 22.49 €
Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel / Libro In brossura
common.buy 29.49 €
Psychisch kranke Eltern, fur Kinder (k)ein Problem? Yvonne Behla / Libro In brossura
common.buy 35.49 €
Réponse du blé semé tardivement ? l'azote Deepak Sapkota / Libro In brossura
common.buy 35.49 €
OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Libro binding.
common.buy 8.09 €
iPod Jude D. Biersdorfer / Libro In brossura
common.buy 19.89 €
Szerafina és a Fekete Köpeny Robert Beatty / Libro Rigido
common.buy 6.49 €
de Donationibus, Jus Romanum Theorie de la Reserve Et de la Quotite Disponible, Droit Civil CARRIERE-J-J-A / Libro In brossura
common.buy 14.19 €
František Skála - Grafika František Skála / Libro Foglio
common.buy 13.19 €
Puccini: La Boheme/Madame Butterfly RPO/Abell / Audio CD audio
common.buy 27.29 €
Ataque a un enemigo de la libertad Cicerón / Libro In brossura
common.buy 9.69 €
E-biznes Steve West / Libro In brossura
common.buy 14.99 €

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.§The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
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 Marino Miculan, Ivan Scagnetto, Furio Honsell
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2008
Numero di pagine 203
EAN 9783540680840
ISBN 3540680845
Codice Libristo 01567627
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 343
Dimensioni 155 x 235 x 14

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
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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 destinatario

Potrebbe interessarti anche

High-Risers: Cabrini-Green and the Fate of American Public Housing Ben Austen / Libro In brossura
common.buy 16.09 €
Building the Medieval World Christine Sciacca / Libro Rigido
common.buy 16.79 €
Jeremy Blake / Libro In brossura
common.buy 11.19 €
Hacking Your Kitchen! Giant Blank Recipe Book FLASH PLANNERS AND N / Libro In brossura
common.buy 10.49 €
Globe Trotter's Records - Travel Journal Hawaii Edition DAYBOOK HEAVEN BOOKS / Libro In brossura
common.buy 8.99 €
I migliori
Ego is the Enemy Ryan Holiday / Libro In brossura
common.buy 11.19 €
Household Stories Wilhelm Grimm / Libro In brossura
common.buy 24.29 €
Fights for the Flag William Henry Fitchett / Libro In brossura
common.buy 26.19 €
Requiem for Innocence Bv Lawson / Libro In brossura
common.buy 14.29 €
Raising a Soccer Star: A Complete Guide to Unlocking Your Child's Potential Mariana Correa / Libro In brossura
common.buy 18.19 €
Optimal Oil Pipeline Alignment In Ankleshwar Using RS & GIS techniques Anam Akhtar / Libro In brossura
common.buy 33.59 €
Jeremy Jackrabbit Jumps Joyfully Aimee Hughes / Libro In brossura
common.buy 7.99 €
Fresh Designs for Woodworking Thomas Haapapuro / Libro In brossura
common.buy 16.09 €
The Position of the Celebrant at the Holy Communion Morton Shaw / Libro In brossura
common.buy 16.89 €
Dynamics of Discrete Populations and Series of Events Keith Iain Hopcraft / Libro In brossura
common.buy 97.99 €
I migliori
Lonely Planet Pocket Bangkok Lonely Planet / Libro In brossura
common.buy 11.39 €
Wind in the Willows Kenneth Grahame / Libro Rigido
common.buy 16.89 €
I migliori
Jujutsu Kaisen, Vol. 8 Gege Akutami / Libro In brossura
common.buy 9.59 €
Unofficial Hocus Pocus Cross-stitch Editors of Ulysses Press / Libro In brossura
common.buy 17.39 €
Summary: The Art of Social Media / Libro In brossura
common.buy 14.19 €
Paperblanks Wild Flowers Playful Creations Softcover Flexis Mini Lined Elastic Band 208 Pg 80 GSM / Calendario/Agenda Calendario
common.buy 21.69 €
Economico
The Crescent Moon Tearoom Stacy Sivinski / Libro In brossura
common.buy 7.59 €
The Australian Defence Force Robbin Laird / Libro In brossura
common.buy 13.49 €
Relentless: From Redshirt to the Rock of the Jayhawks Travis Releford / Libro In brossura
common.buy 16.49 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?