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 Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Types for Proofs and Programs Jean-Christophe Filliatre
Koda Libristo: 01561624
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, januar 2006
The 17 revised full papers presented here cover all current issues of formal reasoning and computer... Celoten opis
? points 129 b
53.26 €
Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Der Kurator im Zeitalter der neuen Medienkunst Sandra Kuberski / Knjiga Mehka
common.buy 13.56 €
Assistance visuelle des malvoyants par traitement d'images adaptatif Benoit Froissard / Knjiga Mehka
common.buy 41.11 €
Petite Trotteuse Michele Lesbre / Knjiga Mehka
common.buy 10.52 €
Poil de Carotte, Monsieur Vernet, Le Plaisir de Rompre, Le Pain de Menage, La Bigote Renard-J / Knjiga Mehka
common.buy 16.60 €
Zukunftsfahiges Leitbild oder veraltetes Schlagwort? Evelyn Ehle / Knjiga Mehka
common.buy 15.28 €
Kmalu
Color Brain / Igra/Igrača Igra
common.buy 24.50 €
De L'Influence Du Bien Etre Materiel Sur La Moralite Des Peuples Modernes (1854) Edouard Mercier / Knjiga Mehka
common.buy 32.81 €
Etude exploratoire sur les barrières à la mise en oeuvre selon le processus de son application Mourad Sallami / Knjiga Mehka
common.buy 46.38 €
processo romano-canonico classico. Linee di svolgimento e caratteri fondamentali Andrea Padovani / Knjiga Mehka
common.buy 24.70 €

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and 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 Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2006
Število strani 280
EAN 9783540314288
ISBN 3540314288
Koda Libristo 01561624
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 910
Mere 155 x 235 x 17

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

The Omega's Candy Shop / Knjiga Mehka
common.buy 13.46 €
Construction Workers Emma Less / Knjiga Trda
common.buy 29.46 €
Novo
XLVIII Mexican Conference on Biomedical Engineering Esmeralda Zuñiga-Aguilar / Knjiga Mehka
common.buy 194.76 €
Memoir Of Keopuolani, Late Queen Of The Sandwich Islands (1825) William Richards / Knjiga Mehka
common.buy 18.42 €
Economic Evaluation of Cancer Drugs Khan / Knjiga Trda
common.buy 165.28 €
Technology and Employment Practices in Developing Countries Hubert Schmitz / Knjiga Trda
common.buy 160.32 €
Justice Will Prevail: A Lee Bell Mystery Barb Nagel / Knjiga Mehka
common.buy 11.54 €
Works of Elizabeth Gaskell, Part I Vol 3 SHATTOCK / Knjiga Mehka
common.buy 65.32 €
Treatise of the Suffocation of the Matrix, Commonly Called, the Fits of the Mother. Wherein Are Not Only Explained the Cause, Progress, and Danger of M.D. Lockman / Knjiga Mehka
common.buy 11.84 €
Experimental Philosophy and its Critics Joachim Horvath / Knjiga Trda
common.buy 205.59 €
Chemical Evolution of the Universe Royal Society of Chemistry / Knjiga Trda
common.buy 233.45 €

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?