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 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Types for Proofs and Programs Thorsten Altenkirch
Koda Libristo: 01569105
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2007
This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop... 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

Lecturas para estrenarse en psicología GEMMA Y OTROS PEIRO BALLESTIN / Knjiga Mehka
common.buy 17.61 €
Deathbook Curval / Knjiga Mehka
common.buy 5.16 €
MAPA TOP 25 SIERRA Y CAÑONES DE GUARA II ZONA ORIENTAL PRAMES / Knjiga Mehka
common.buy 14.07 €
Piratería en la antigüedad : un ensayo sobre historia del Mediterráneo Henry Ardene Ormerod / Knjiga Mehka
common.buy 22.68 €
Como Animar um Capricorniano Mary English / Knjiga Mehka
common.buy 24.40 €
Comentarios a la constitución "Gaudium et spes" Ángel Herrera Oria / Knjiga Trda
common.buy 18.73 €
Limitsiz Yasam Nick Vujicic / Knjiga Mehka
common.buy 10.62 €
SparkofPhoenix: 200 Dinge in Minecraft, die du noch nicht wusstest SparkofPhoenix / Knjiga Mehka
common.buy 11.54 €
Extraits de margousier (Azadirachta indica A. Juss) pour le traitement des semences Ruth Abreu Araújo / Knjiga Mehka
common.buy 33.62 €
Top
Sur le jeu d'acteur Meisner SANFORD / Knjiga Mehka
common.buy 27.64 €
Die Bedeutung von Musik für Kinder in ihrer Entwicklung und in ihrem lebensweltlichen Kontext Monika Jenke / Knjiga Mehka
common.buy 23.59 €
El hombre que se habita Adriano Meschi / Knjiga Mehka
common.buy 16.90 €
Escape Rooms für zu Hause selbst gestalten Christine Sinnwell-Backes / Knjiga Mehka
common.buy 8.09 €
Thematische woordenschat Nederlands-Afrikaans - 9000 woorden Andrey Taranov / Knjiga Mehka
common.buy 14.88 €
Nimetoka Italia ! L'Epopea Dei Volontari e Missionari Italiani Nella Guerra D'uganda con Francesca Faramondi / Knjiga Mehka
common.buy 19.54 €
Desarrollo global de software Félix O. García Rubio / Knjiga Mehka
common.buy 34.93 €
dito e la luna. Riflessioni su filosofia, fede e politica Emanuele Severino / Knjiga Mehka
common.buy 17.01 €
Eisenbahn-Geleise A. Haarman / Knjiga Mehka
common.buy 26.02 €
Zázraky Valentín Šefčík / Knjiga Trda
common.buy 10.73 €
WALTER D. NAG WIND ENSEMBLE SCORE/PARTS WALTER Knjiga binding.
common.buy 44.96 €
L'Afrique noire victime de ses péchés Oulatta / Knjiga Mehka
common.buy 28.25 €
PORTRAIT D'UN MILLIARDAIRE MALHEUREUX BOSQUET / Knjiga Mehka
common.buy 78.99 €
Megúszós kaják Fördős Zé / Knjiga Trda
common.buy 16.09 €
Histoire de l'Afrique Septentrionale (Berberie). T 1 (Ed.1888) Ernest Mercier / Knjiga Mehka
common.buy 29.77 €

This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006.§The 17 revised full papers presented were carefully reviewed and selected from 29 submissions. 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 Thorsten Altenkirch, Conor McBride
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2007
Število strani 272
EAN 9783540744634
ISBN 3540744630
Koda Libristo 01569105
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 900
Mere 155 x 235 x 18

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

Internet of Things, Smart Spaces, and Next Generation Networking Sergey Andreev / Knjiga Mehka
common.buy 48.91 €
Radiation and Cellular Control Processes J. Kiefer / Knjiga Mehka
common.buy 97.53 €
Gustavus Adolphus: The Life and Legacy of Sweden's Most Famous King Charles River Editors / Knjiga Mehka
common.buy 10.83 €
Champ Ferguson Thurman Sensing / Knjiga Mehka
common.buy 44.96 €
What Does the Referee Do? Margaret MacDonald / Knjiga Mehka
common.buy 7.48 €
Firefly Wildlife Atlas: A Comprehensive Guide to Animal Habitats John Farndon / Knjiga Mehka
common.buy 13.16 €
Cultures of Sustainability and Wellbeing Paola Spinozzi / Knjiga Trda
common.buy 200.02 €
The Law of Bills of Sale: With an Appendix of Precedents and Statutes / By George Edward Lyon and Joseph Haworth Redman. George Edward Lyon / Knjiga Mehka
common.buy 21.56 €
60 Subtraction Worksheets with 2-Digit Minuends, 2-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Knjiga Mehka
common.buy 12.35 €
The Top 50 Underrated NFL Wide Receivers MR Rashad Skyla Mitchell / Knjiga Mehka
common.buy 6.37 €
Some Brief Remarks upon Sundry Important Subjects John Griffith / Knjiga Mehka
common.buy 14.37 €
Brush with the Chinese and What Came of it G. A. Henty / Knjiga Trda
common.buy 14.07 €
100 First Dinosaur Words DK / Knjiga Kartonka
common.buy 8.50 €
Opinionated Guide To London Green Spaces Marco Kesseler / Knjiga Mehka
common.buy 10.02 €
Salman Rushdie and Translation Jenni Ramone / Knjiga Trda
common.buy 185.84 €
Prosperity And How It Must Come: Economic Facts For Workers And Preachers (1914) Roger Ward Babson / Knjiga Mehka
common.buy 21.97 €
Essential Touring Car RC Racer's Guide Dave B Stevens / Knjiga Mehka
common.buy 38.88 €
Clostridioides difficile Infection Guido Granata / Knjiga Trda
common.buy 42.83 €
Bob + Barb Present... Books! Books!! Books!!! Bob and Barb Studios / Knjiga Trda
common.buy 22.37 €
Top
Miraculous: Tales of Ladybug & Cat Noir 2 Zag / Knjiga Mehka
common.buy 9.11 €
VMware Cloud on AWS Christophe Lombard / Knjiga Mehka
common.buy 42.43 €
Toddlers Fun - A Black Children's Coloring Book Kyle Davis / Knjiga Mehka
common.buy 7.89 €
Tracker Jeffery Deaver / Knjiga Mehka
common.buy 13.16 €
The Warlord Era Laszlo Montgomery / Knjiga Mehka
common.buy 16.70 €

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?