Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, říjen 2007
This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop... Celý popis
? points 136 b
1 355 Kč
Skladem u dodavatele Odesíláme za 10-16 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Extraits de margousier (Azadirachta indica A. Juss) pour le traitement des semences Ruth Abreu Araújo / Kniha Brožovaná
common.buy 812 Kč
Lecturas para estrenarse en psicología GEMMA Y OTROS PEIRO BALLESTIN / Kniha Brožovaná
common.buy 465 Kč
Piratería en la antigüedad : un ensayo sobre historia del Mediterráneo Henry Ardene Ormerod / Kniha Brožovaná
common.buy 598 Kč
MAPA TOP 25 SIERRA Y CAÑONES DE GUARA II ZONA ORIENTAL PRAMES / Kniha Brožovaná
common.buy 371 Kč
Comentarios a la constitución "Gaudium et spes" Ángel Herrera Oria / Kniha Pevná
common.buy 490 Kč
Vesmírna plavba Pterodactyla Kôstku Dušan Šuster / Kniha Brožovaná
common.buy 379 Kč
Como Animar um Capricorniano Mary English / Kniha Brožovaná
common.buy 590 Kč
Limitsiz Yasam Nick Vujicic / Kniha Brožovaná
common.buy 256 Kč
SparkofPhoenix: 200 Dinge in Minecraft, die du noch nicht wusstest SparkofPhoenix / Kniha Brožovaná
common.buy 306 Kč
Histoire de l'Afrique Septentrionale (Berberie). T 1 (Ed.1888) Ernest Mercier / Kniha Brožovaná
common.buy 654 Kč
LES AVENTURES DE TEX : 8. LA FONTAINE DE JOUVENCE GIUSFREDI GIORGIO / Kniha Pevná
common.buy 582 Kč
Sur le jeu d'acteur Meisner SANFORD / Kniha Brožovaná
common.buy 610 Kč
Deathbook Curval / Kniha Brožovaná
common.buy 112 Kč
El hombre que se habita Adriano Meschi / Kniha Brožovaná
common.buy 408 Kč
Aviones de papel EQUIPO SUSAETA / Kniha Kroužková
common.buy 97 Kč
Escape Rooms für zu Hause selbst gestalten Christine Sinnwell-Backes / Kniha Brožovaná
common.buy 195 Kč
Trainingslehre 2 Christopher Curry / Kniha Brožovaná
common.buy 328 Kč
L'Afrique noire victime de ses péchés Oulatta / Kniha Brožovaná
common.buy 683 Kč
Cours Complet Par Correspondance. Tome 14 / Kniha Brožovaná
common.buy 315 Kč
Thematische woordenschat Nederlands-Afrikaans - 9000 woorden Andrey Taranov / Kniha Brožovaná
common.buy 368 Kč
Připravujeme
Mein Mississippi ist die Lahn Regina Appel / Kniha Brožovaná
common.buy 226 Kč
IT-Sicherheit in Industrie 4.0 Harald Schöning / Kniha Brožovaná
common.buy 926 Kč
Megúszós kaják Fördős Zé / Kniha Pevná
common.buy 460 Kč
Die Techno-Szene Erik Meyer / Kniha Brožovaná
common.buy 1 214 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Types for Proofs and Programs
Autor Thorsten Altenkirch, Conor McBride
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2007
Počet stran 272
EAN 9783540744634
ISBN 3540744630
Libristo kód 01569105
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 900
Rozměry 155 x 235 x 18

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Internet of Things, Smart Spaces, and Next Generation Networking Sergey Andreev / Kniha Brožovaná
common.buy 1 181 Kč
Radiation and Cellular Control Processes J. Kiefer / Kniha Brožovaná
common.buy 2 356 Kč
Basic Sciences in Anesthesia Ehab Farag / Kniha Brožovaná
common.buy 3 155 Kč
Gustavus Adolphus: The Life and Legacy of Sweden's Most Famous King Charles River Editors / Kniha Brožovaná
common.buy 261 Kč
100 First Dinosaur Words DK / Kniha Leporelo
common.buy 208 Kč
Top
Toddler Triumphs: Potty Superstar Pat-a-Cake / Kniha Leporelo
common.buy 203 Kč
Brush with the Chinese and What Came of it G. A. Henty / Kniha Pevná
common.buy 364 Kč
Some Brief Remarks upon Sundry Important Subjects John Griffith / Kniha Brožovaná
common.buy 348 Kč
The Top 50 Underrated NFL Wide Receivers MR Rashad Skyla Mitchell / Kniha Brožovaná
common.buy 160 Kč
60 Subtraction Worksheets with 2-Digit Minuends, 2-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Kniha Brožovaná
common.buy 299 Kč
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 521 Kč
Cultures of Sustainability and Wellbeing Paola Spinozzi / Kniha Pevná
common.buy 5 651 Kč
Firefly Wildlife Atlas: A Comprehensive Guide to Animal Habitats John Farndon / Kniha Brožovaná
common.buy 317 Kč
What Does the Referee Do? Margaret MacDonald / Kniha Brožovaná
common.buy 195 Kč
Champ Ferguson Thurman Sensing / Kniha Brožovaná
common.buy 1 087 Kč
Now That Baby Is Home William Sears / Kniha Brožovaná
common.buy 318 Kč
A Home for Mr. Emerson Barbara Kerley / Kniha Pevná
common.buy 341 Kč
Bob + Barb Present... Books! Books!! Books!!! Bob and Barb Studios / Kniha Pevná
common.buy 540 Kč
The Traitors Circle Jonathan Freedland / Kniha Brožovaná
common.buy 358 Kč
Guided JACKSON LAURA LYNNE / Kniha Pevná
common.buy 573 Kč
Routledge Handbook of Religion and American Culture Chad E. Seales / Kniha Pevná
common.buy 8 435 Kč
The Warlord Era Laszlo Montgomery / Kniha Brožovaná
common.buy 413 Kč
Tracker Jeffery Deaver / Kniha Brožovaná
common.buy 386 Kč
Toddlers Fun - A Black Children's Coloring Book Kyle Davis / Kniha Brožovaná
common.buy 191 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?