Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Types for Proofs and Programs

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Types for Proofs and Programs Stefano Berardi
Koda Libristo: 01649961
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junij 2009
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of... Celoten opis
? points 118 b
48.76 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

The Wiener Schnitzel Love Book! Florian Weitzer / Knjiga Trda
common.buy 27.55 €
Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois / Knjiga Mehka
common.buy 31.59 €
Quitter l'ouest Robin / Knjiga Mehka
common.buy 17.76 €
Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello / Knjiga Mehka
common.buy 11.10 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Knjiga Mehka
common.buy 6.45 €
Robota jak każda inna Alex W. Inker / Knjiga Mehka
common.buy 13.62 €
Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp / Knjiga Mehka
common.buy 24.32 €
K jak Klara 7 - Tak mi przykro Knudsen / Zvočnica MP3
common.buy 2.11 €
Idées reçues sur le Royaume-Uni Fourton / Knjiga Mehka
common.buy 15.64 €
Arbeiter, Unternehmer, Professioneller Manfred Stock / Knjiga Mehka
common.buy 68.25 €
Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková / Knjiga Mehka
common.buy 12.31 €
Fútbol africano II Librofutbol. Com / Knjiga Mehka
common.buy 22.10 €
Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann / Zvok Zvočni CD
common.buy 7.97 €
Kmalu
Das Erbe der Macht Andreas Suchanek / Knjiga Mehka
common.buy 66.83 €
Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß / Knjiga Trda
common.buy 22.81 €
Faeries 13 Special Harry Potter Revue / Knjiga Mehka
common.buy 11.60 €
Dieu avec esprit. Réponse à Michel Onfray Irène Fernandez / Knjiga Mehka
common.buy 16.65 €
Aufbewahrungsbox fürs Auto aus Kunststoff / Igra/Igrača Igrača
common.buy 12.31 €
Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss / Knjiga Mehka
common.buy 17.46 €
ANIMALES DE LA GRANJA ESTELLE TALAVERA / Knjiga Trda
common.buy 7.66 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Types for Proofs and Programs
Avtor Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2009
Število strani 323
EAN 9783642024436
ISBN 3642024432
Koda Libristo 01649961
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 510
Mere 155 x 235 x 19

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Real-Time Mobile Multimedia Services Dilip Krishnaswamy / Knjiga Mehka
common.buy 48.76 €
Torrent des passions R V RONI SAINT-CYR / Knjiga Mehka
common.buy 21.90 €
Anesthesiology Linda S. Aglio / Knjiga Mehka
common.buy 161.34 €
Motivating Children with Specific Learning Difficulties GAD ELBEHERI / Knjiga Mehka
common.buy 39.97 €
Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor / Knjiga Mehka
common.buy 11.30 €
Algebra ROBERT SHUTLER / Knjiga Mehka
common.buy 39.17 €
The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors / Knjiga Mehka
common.buy 14.23 €
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 Mehka
common.buy 9.58 €
Born in the year 1970 Christoph Dappen / Knjiga Mehka
common.buy 7.46 €
Atlas of Forensic Pathology, m. 1 Buch, m. 1 E-Book Joseph A. Prahlow / Knjiga Trda
common.buy 1 079.66 €
Welcome to the Swamp: An Illustrated Journey Into the Deplorable World of Donald J. Trump Tim Doyle / Knjiga Mehka
common.buy 21.50 €
Immunometabolism Suresh Mishra / Knjiga Mehka
common.buy 113.88 €
Optometrist's Manual, a Treatise on the Science and Practice of Optometry; Volume 2 Christian Henry Brown / Knjiga Mehka
common.buy 24.63 €
Top
The Wolf and the Crown of Blood MAY ELIZABETH / Knjiga Trda
common.buy 23.72 €
The Originals: The Complete Series / Film DVD
common.buy 76.93 €
Saving Each Other: A Mother-Daughter Love Story Amanda Troop / Zvok Zvočni CD
common.buy 26.14 €
Journey to Now Suzanne Taylor-Torres / Knjiga Mehka
common.buy 12.01 €
Hedy Lamarr and a Secret Communication System Trinna Robbins / Knjiga Mehka
common.buy 7.26 €
Italian Americans Before Mass Migration JEROME KRASE / Knjiga Trda
common.buy 27.45 €
Art of Falconry Patrick Morel / Knjiga Trda
common.buy 28.26 €
Zimbabwe Parker / Knjiga Trda
common.buy 30.18 €
Epistemic Paternalism Kristoffer Ahlstrom Vij / Knjiga Trda
common.buy 53.10 €
Siege of Corinth. a Poem. Parisina. a Poem. [By Lord Byron.] Third Edition Lord George Gordon Byron / Knjiga Mehka
common.buy 19.07 €
Triumph of the Moon Ronald Hutton / Knjiga Mehka
common.buy 31.59 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?