Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Types for Proofs and Programs

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Types for Proofs and Programs Stefano Berardi
Libristo-code: 01649961
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 2009
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of... Volledige beschrijving
? points 125 b
51.69 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

The Wiener Schnitzel Love Book! Florian Weitzer / Boek Gebonden (harde band)
common.buy 29.43 €
Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois / Boek Gebonden (paperback)
common.buy 33.18 €
Quitter l'ouest Robin / Boek Gebonden (paperback)
common.buy 19.52 €
Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello / Boek Gebonden (paperback)
common.buy 11.73 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Boek Gebonden (paperback)
common.buy 6.77 €
Robota jak każda inna Alex W. Inker / Boek Gebonden (paperback)
common.buy 15.37 €
Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp / Boek Gebonden (paperback)
common.buy 25.89 €
K jak Klara 7 - Tak mi przykro Knudsen / Luisterboek MP3
common.buy 2.42 €
Idées reçues sur le Royaume-Uni Fourton / Boek Gebonden (paperback)
common.buy 17.19 €
Arbeiter, Unternehmer, Professioneller Manfred Stock / Boek Gebonden (paperback)
common.buy 72.33 €
Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková / Boek Gebonden (paperback)
common.buy 13.95 €
Fútbol africano II Librofutbol. Com / Boek Gebonden (paperback)
common.buy 23.16 €
Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann / Audio Audio cd
common.buy 9.40 €
Wordt verwacht
Das Erbe der Macht Andreas Suchanek / Boek Gebonden (paperback)
common.buy 71.12 €
Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß / Boek Gebonden (harde band)
common.buy 24.17 €
Faeries 13 Special Harry Potter Revue / Boek Gebonden (paperback)
common.buy 12.74 €
Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez / Boek Gebonden (paperback)
common.buy 18.30 €
Aufbewahrungsbox fürs Auto aus Kunststoff / Spel/speelgoed Speelgoed
common.buy 14.66 €
Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss / Boek Gebonden (paperback)
common.buy 18.40 €
ANIMALES DE LA GRANJA ESTELLE TALAVERA / Boek Gebonden (harde band)
common.buy 8.39 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Types for Proofs and Programs
Auteur Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2009
Aantal pagina's 323
EAN 9783642024436
ISBN 3642024432
Libristo-code 01649961
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 510
Afmetingen 155 x 235 x 19

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Real-Time Mobile Multimedia Services Dilip Krishnaswamy / Boek Gebonden (paperback)
common.buy 51.69 €
Torrent des passions R V RONI SAINT-CYR / Boek Gebonden (paperback)
common.buy 23.06 €
Anesthesiology Linda S. Aglio / Boek Gebonden (paperback)
common.buy 171.08 €
Motivating Children with Specific Learning Difficulties GAD ELBEHERI / Boek Gebonden (paperback)
common.buy 46.33 €
Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor / Boek Gebonden (paperback)
common.buy 12.13 €
Algebra ROBERT SHUTLER / Boek Gebonden (paperback)
common.buy 41.17 €
The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors / Boek Gebonden (paperback)
common.buy 15.07 €
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 / Boek Gebonden (paperback)
common.buy 10.11 €
Born in the year 1970 Christoph Dappen / Boek Gebonden (paperback)
common.buy 7.88 €
Atlas of Forensic Pathology, m. 1 Buch, m. 1 E-Book Joseph A. Prahlow / Boek Gebonden (harde band)
common.buy 1 133.29 €
Welcome to the Swamp: An Illustrated Journey Into the Deplorable World of Donald J. Trump Tim Doyle / Boek Gebonden (paperback)
common.buy 22.86 €
Immunometabolism Suresh Mishra / Boek Gebonden (paperback)
common.buy 120.90 €
Optometrist's Manual, a Treatise on the Science and Practice of Optometry; Volume 2 Christian Henry Brown / Boek Gebonden (paperback)
common.buy 25.99 €
TOP
The Wolf and the Crown of Blood MAY ELIZABETH / Boek Gebonden (harde band)
common.buy 25.08 €
The Originals: The Complete Series / Video Dvd
common.buy 86.19 €
Saving Each Other: A Mother-Daughter Love Story Amanda Troop / Audio Audio cd
common.buy 27.71 €
Journey to Now Suzanne Taylor-Torres / Boek Gebonden (paperback)
common.buy 12.84 €
Hedy Lamarr and a Secret Communication System Trinna Robbins / Boek Gebonden (paperback)
common.buy 7.68 €
Italian Americans Before Mass Migration JEROME KRASE / Boek Gebonden (harde band)
common.buy 29.13 €
Art of Falconry Patrick Morel / Boek Gebonden (harde band)
common.buy 34.19 €
Zimbabwe Parker / Boek Gebonden (harde band)
common.buy 31.76 €
Epistemic Paternalism Kristoffer Ahlstrom Vij / Boek Gebonden (harde band)
common.buy 61.10 €
Siege of Corinth. a Poem. Parisina. a Poem. [By Lord Byron.] Third Edition Lord George Gordon Byron / Boek Gebonden (paperback)
common.buy 20.12 €
Triumph of the Moon Ronald Hutton / Boek Gebonden (paperback)
common.buy 32.97 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken