Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Types for Proofs and Programs

International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Types for Proofs and Programs Thorsten Altenkirch
Libristo kód: 01569105
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 2007
This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop... Celý popis
? points 135 b
55.90 €
Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Types for Proofs and Programs
Autor Thorsten Altenkirch, Conor McBride
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2007
Počet strán 272
EAN 9783540744634
ISBN 3540744630
Libristo kód 01569105
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 900
Rozmery 155 x 235 x 18

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Informatika > Teória algoritmov > Matematika pre informatikov
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

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

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?