Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Types for Proofs and Programs

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Types for Proofs and Programs Stefano Berardi
Libristo kod: 01649961
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2009
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

The Wiener Schnitzel Love Book! Florian Weitzer / Knjiga Tvrdi uvez
common.buy 29.46 €
Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois / Knjiga Meki uvez
common.buy 33.21 €
Quitter l'ouest Robin / Knjiga Meki uvez
common.buy 18.63 €
Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello / Knjiga Meki uvez
common.buy 11.74 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Knjiga Meki uvez
common.buy 6.78 €
Robota jak każda inna Alex W. Inker / Knjiga Meki uvez
common.buy 14.57 €
Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp / Knjiga Meki uvez
common.buy 25.92 €
K jak Klara 7 - Tak mi przykro Knudsen / Audio knjiga MP3
common.buy 2.22 €
Idées reçues sur le Royaume-Uni Fourton / Knjiga Meki uvez
common.buy 16.40 €
Arbeiter, Unternehmer, Professioneller Manfred Stock / Knjiga Meki uvez
common.buy 72.41 €
Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková / Knjiga Meki uvez
common.buy 13.16 €
Fútbol africano II Librofutbol. Com / Knjiga Meki uvez
common.buy 23.18 €
Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann / Audio Audio CD
common.buy 8.50 €
Pripremamo
Das Erbe der Macht Andreas Suchanek / Knjiga Meki uvez
common.buy 71.19 €
Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß / Knjiga Tvrdi uvez
common.buy 24.20 €
Faeries 13 Special Harry Potter Revue / Knjiga Meki uvez
common.buy 12.24 €
Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez / Knjiga Meki uvez
common.buy 17.61 €
Aufbewahrungsbox fürs Auto aus Kunststoff / Igra/Igračka Igračka
common.buy 13.16 €
Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss / Knjiga Meki uvez
common.buy 18.42 €
ANIMALES DE LA GRANJA ESTELLE TALAVERA / Knjiga Tvrdi uvez
common.buy 7.99 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Types for Proofs and Programs
Autor Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2009
Broj stranica 323
EAN 9783642024436
ISBN 3642024432
Libristo kod 01649961
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 510
Dimenzije 155 x 235 x 19

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Real-Time Mobile Multimedia Services Dilip Krishnaswamy / Knjiga Meki uvez
common.buy 51.75 €
Torrent des passions R V RONI SAINT-CYR / Knjiga Meki uvez
common.buy 23.08 €
Anesthesiology Linda S. Aglio / Knjiga Meki uvez
common.buy 171.26 €
Motivating Children with Specific Learning Difficulties GAD ELBEHERI / Knjiga Meki uvez
common.buy 42.22 €
Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor / Knjiga Meki uvez
common.buy 12.14 €
Algebra ROBERT SHUTLER / Knjiga Meki uvez
common.buy 41.21 €
The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors / Knjiga Meki uvez
common.buy 15.08 €
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 / Knjiga Meki uvez
common.buy 10.12 €
Born in the year 1970 Christoph Dappen / Knjiga Meki uvez
common.buy 7.89 €
Atlas of Forensic Pathology, m. 1 Buch, m. 1 E-Book Joseph A. Prahlow / Knjiga Tvrdi uvez
common.buy 1 134.46 €
Welcome to the Swamp: An Illustrated Journey Into the Deplorable World of Donald J. Trump Tim Doyle / Knjiga Meki uvez
common.buy 22.88 €
Immunometabolism Suresh Mishra / Knjiga Meki uvez
common.buy 121.02 €
Optometrist's Manual, a Treatise on the Science and Practice of Optometry; Volume 2 Christian Henry Brown / Knjiga Meki uvez
common.buy 26.02 €
Top
The Wolf and the Crown of Blood MAY ELIZABETH / Knjiga Tvrdi uvez
common.buy 25.11 €
The Originals: The Complete Series / Video DVD
common.buy 81.73 €
Saving Each Other: A Mother-Daughter Love Story Amanda Troop / Audio Audio CD
common.buy 27.74 €
Journey to Now Suzanne Taylor-Torres / Knjiga Meki uvez
common.buy 12.85 €
Hedy Lamarr and a Secret Communication System Trinna Robbins / Knjiga Meki uvez
common.buy 7.69 €
Italian Americans Before Mass Migration JEROME KRASE / Knjiga Tvrdi uvez
common.buy 29.16 €
Art of Falconry Patrick Morel / Knjiga Tvrdi uvez
common.buy 30.27 €
Zimbabwe Parker / Knjiga Tvrdi uvez
common.buy 31.79 €
Epistemic Paternalism Kristoffer Ahlstrom Vij / Knjiga Tvrdi uvez
common.buy 55.90 €
Siege of Corinth. a Poem. Parisina. a Poem. [By Lord Byron.] Third Edition Lord George Gordon Byron / Knjiga Meki uvez
common.buy 20.15 €
Triumph of the Moon Ronald Hutton / Knjiga Meki uvez
common.buy 33.01 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun