Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

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

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01649961
Price: 53.79 EUR
Availability: InStock
Author: Stefano Berardi
ISBN: 9783642024436

International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Stefano Berardi

Ferruccio Damiani

Ugo De Liguoro

Lingua

Inglese

Libro In brossura

Codice Libristo: 01649961

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2009

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of... Descrizione completa

Codice Libristo: 01649961

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

The Wiener Schnitzel Love Book! Florian Weitzer

Rigido

30.89 €

Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois

In brossura

34.29 €

Quitter l'ouest Robin

In brossura

20.09 €

Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello

In brossura

12.19 €

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

In brossura

6.99 €

Robota jak każda inna Alex W. Inker

In brossura

16.09 €

Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp

In brossura

27.09 €

K jak Klara 7 - Tak mi przykro Knudsen

MP3

2.49 €

Idées reçues sur le Royaume-Uni Fourton

In brossura

17.69 €

Arbeiter, Unternehmer, Professioneller Manfred Stock

In brossura

75.29 €

Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková

In brossura

14.59 €

Fútbol africano II Librofutbol. Com

In brossura

23.89 €

Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann

CD audio

9.29 €

Das Erbe der Macht Andreas Suchanek

In brossura

74.39 €

Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß

Rigido

25.29 €

Faeries 13 Special Harry Potter Revue

In brossura

13.19 €

Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez

In brossura

18.89 €

Aufbewahrungsbox fürs Auto aus Kunststoff

Giocattolo

14.49 €

Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss

In brossura

19.09 €

ANIMALES DE LA GRANJA ESTELLE TALAVERA

Rigido

8.29 €

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008.§The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The topic of the workshop was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, 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 Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2009

Numero di pagine 323

EAN 9783642024436

ISBN 3642024432

Codice Libristo 01649961

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 510

Dimensioni 155 x 235 x 19

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 > Algoritmi e strutture dati

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 > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale

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

Real-Time Mobile Multimedia Services Dilip Krishnaswamy

In brossura

53.79 €

Torrent des passions R V RONI SAINT-CYR

In brossura

23.89 €

Anesthesiology Linda S. Aglio

In brossura

178.49 €

Motivating Children with Specific Learning Difficulties GAD ELBEHERI

In brossura

45.79 €

Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor

In brossura

12.69 €

Algebra ROBERT SHUTLER

In brossura

42.59 €

The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors

In brossura

15.59 €

GREED began in the WHITE HOUSE: It helps the rich get richer, forces the poor onto welfare, and squeezes working Middle Class families. James T Kelly

In brossura

10.49 €