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

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01649961
Price: 45.49 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

111 b

45.49 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

MINIX Music: Michael Jackson #117 Gioco/giocattolo

Giocattolo

16.89 €

The Wiener Schnitzel Love Book! Florian Weitzer

Rigido

25.49 €

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

In brossura

27.19 €

Quitter l'ouest Robin

In brossura

15.69 €

Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello

In brossura

9.79 €

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

In brossura

5.99 €

Robota jak każda inna Alex W. Inker

In brossura

11.29 €

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

In brossura

22.59 €

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

In brossura

13.79 €

Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann

CD audio

7.39 €

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

In brossura

12.49 €

Fútbol africano II Librofutbol. Com

In brossura

19.99 €

Arbeiter, Unternehmer, Professioneller Manfred Stock

In brossura

63.69 €

Auxiliar Administrativo de la Diputación Provincial de Jaén. Temario volumen 2 Editores

In brossura

37.99 €

Das Erbe der Macht Andreas Suchanek

In brossura

62.09 €

Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß

Rigido

21.09 €

Faeries 13 Special Harry Potter Revue

In brossura

10.29 €

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

In brossura

14.79 €

Aufbewahrungsbox fürs Auto aus Kunststoff

Giocattolo

11.39 €

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

In brossura

19.09 €

ANIMALES DE LA GRANJA ESTELLE TALAVERA

Rigido

6.79 €

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

45.49 €

Torrent des passions R V RONI SAINT-CYR

In brossura

19.49 €

Anesthesiology Linda S. Aglio

In brossura

150.39 €

Motivating Children with Specific Learning Difficulties GAD ELBEHERI

In brossura

40.49 €

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

In brossura

9.69 €

Algebra ROBERT SHUTLER

In brossura

33.99 €

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

In brossura

12.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

8.49 €