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.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € 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 '93, Nijmegen, The Netherlands, May 24-28, 1993. Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Types for Proofs and Programs Henk Barendregt
Libristo kód: 05274389
Nakladateľstvo Springer, Berlin, november 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Celý popis
? points 135 b
55.89 €
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

MOLLERUSSA YEGUAS I GASSO / Kniha Brožovaná
common.buy 11.43 €
Golem Elvire Murail / Kniha Brožovaná
common.buy 27.63 €
Glaces Hakim / Kniha Brožovaná
common.buy 29.86 €
Bakuman - Tome 13 Takeshi Obata / Kniha Brožovaná
common.buy 10.62 €
Stadt Hamburg (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Kalendár/Diár Kalendár
common.buy 34.42 €
Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz / Kniha Brožovaná
common.buy 9.71 €
Animales del páramo David Rodríguez / Kniha Brožovaná
common.buy 22.57 €
Irreverente PILAR MARTIN PEREZ / Kniha Brožovaná
common.buy 15.79 €
Über Leben Reinhold Messner / Kniha Pevná
common.buy 25.31 €
CI Vorrebbe Un Amico Mario Boccia / Kniha Brožovaná
common.buy 9.81 €
Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier / Kniha Brožovaná
common.buy 19.53 €
Ost-West-Konflikt aus der Perspektive des Neorealismus Olaf Borgmeier / Kniha Brožovaná
common.buy 16.19 €
Aguas azules para una batalla Fabra / Audiokniha MP3
common.buy 9.51 €
Jean-Claude Juncker Margaretha Kopeinig / E-kniha Adobe ePub DRM
common.buy 16.50 €
La Revista Moderna, Volumes 1-2... Martín Aldao / Kniha Pevná
common.buy 37.36 €
Rocker Devil. Slide und Ellen Bärbel Muschiol / Kniha Brožovaná
common.buy 11.84 €
Pathogenese und Klinik der Harnsteine G. Gasser / Kniha Brožovaná
common.buy 60.75 €
Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a / Kniha Brožovaná
common.buy 10.82 €
Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende / Audio Audio CD
common.buy 13.15 €
Management von Netzwerkorganisationen Jörg Sydow / Kniha Brožovaná
common.buy 85.15 €
Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona / Kniha Brožovaná
common.buy 20.55 €
Natur und Kunst als Spiegel der Seele Peter W. Schatt / Kniha Brožovaná
common.buy 16.19 €
Fundamentos físicos de la edificación Blasco Laffón / Kniha Brožovaná
common.buy 44.75 €
CRÓNICAS DE LOS SAMURÁIS R. IBARZABAL / Audio Audio CD
common.buy 29.66 €

This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.

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 Henk Barendregt, Tobias Nipkow
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1994
Počet strán 395
EAN 9783540580850
ISBN 3540580859
Libristo kód 05274389
Nakladateľstvo Springer, Berlin
Váha 526
Rozmery 155 x 233 x 21

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 > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
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
Výpočtové a informačné technológie > Operačné systémy
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ť

Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Kniha Brožovaná
common.buy 29.86 €
Lambda Calculus with Types Henk Barendregt / Kniha Pevná
common.buy 104.59 €
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt / Kniha Brožovaná
common.buy 18.32 €
Mardi Gras Rebecca Pettiford / Kniha Pevná
common.buy 11.03 €
Biotechnology Entrepreneurship Bootcamp Arthur A. Boni / Kniha Brožovaná
common.buy 57.10 €
The Unified Gospels - The Complete Life Of Christ In The World Of The Evangelists John W. Lea / Kniha Brožovaná
common.buy 24.70 €
The Mystic Youth Of Jesus Yogi Ramacharaka / Kniha Brožovaná
common.buy 17.51 €
Unfreezing the Arctic Andrew Stuhl / Kniha Pevná
common.buy 42.72 €
Pop-Up Robert Wernli / Kniha Brožovaná
common.buy 21.25 €
Clinton, New Terrorism and the Origins of the War on Terror Chin-Kuei Tsui / Kniha Pevná
common.buy 223.27 €
To Be Read at Dusk Charles Dickens / Kniha Brožovaná
common.buy 3.43 €
Testimonies of His Love Lisa N Aldridge - Jones / Kniha Brožovaná
common.buy 13.66 €
History of Modern Morocco Susan Gilson Miller / Kniha Pevná
common.buy 102.77 €
All Things New 2015 - 2016 Wayne Fowler / Kniha Pevná
common.buy 33.20 €
Lacno
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon Robert Fitzgerald / Kniha Brožovaná
common.buy 16.19 €
Ama Betty Hallock / Kniha Pevná
common.buy 23.18 €
Hiawatha Passing JEFF HAGEN / Kniha Brožovaná
common.buy 16.90 €
Out of the Dark Gregg Hurwitz / Kniha Brožovaná
common.buy 11.84 €
Handbook of Clinical Adult Genetics and Genomics Shweta Dhar / Kniha Brožovaná
common.buy 175.58 €
Toll Road Girls 7 J Ware / Kniha Brožovaná
common.buy 7.58 €
Top
Your Whole Body Misha Iver / Kniha Brožovaná
common.buy 14.07 €
Mad about Shakespeare: From Classroom to Theatre to Emergency Room Jonathan Bate / E-kniha Adobe ePub DRM
common.buy 9.91 €
Lacno
Mothers of The Nation The Ambiguous Role of Nazi Women in The Third Reich / Kniha Brožovaná
common.buy 6.77 €
Top
The Count of Monte Cristo Alexander Dumas / Kniha Pevná
common.buy 19.13 €

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