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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 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 '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
Nakladatelství Springer, Berlin, listopad 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

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 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 Henk Barendregt, Tobias Nipkow
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1994
Počet stran 395
EAN 9783540580850
ISBN 3540580859
Libristo kód 05274389
Nakladatelství Springer, Berlin
Váha 526
Rozměry 155 x 233 x 21

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 > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
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
Výpočetní a informační technologie > Operační systémy
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

Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Kniha Brožovaná
common.buy 682 Kč
Lambda Calculus with Types Henk Barendregt / Kniha Pevná
common.buy 2 406 Kč
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt / Kniha Brožovaná
common.buy 444 Kč
Mardi Gras Rebecca Pettiford / Kniha Pevná
common.buy 252 Kč
Biotechnology Entrepreneurship Bootcamp Arthur A. Boni / Kniha Brožovaná
common.buy 1 304 Kč
Against Distance Peter Makuck / Kniha Brožovaná
common.buy 259 Kč
The Unified Gospels - The Complete Life Of Christ In The World Of The Evangelists John W. Lea / Kniha Brožovaná
common.buy 563 Kč
The Mystic Youth Of Jesus Yogi Ramacharaka / Kniha Brožovaná
common.buy 423 Kč
Unfreezing the Arctic Andrew Stuhl / Kniha Pevná
common.buy 1 032 Kč
Pop-Up Robert Wernli / Kniha Brožovaná
common.buy 515 Kč
Clinton, New Terrorism and the Origins of the War on Terror Chin-Kuei Tsui / Kniha Pevná
common.buy 5 127 Kč
Top
To Be Read at Dusk Charles Dickens / Kniha Brožovaná
common.buy 89 Kč
Testimonies of His Love Lisa N Aldridge - Jones / Kniha Brožovaná
common.buy 331 Kč
History of Modern Morocco Susan Gilson Miller / Kniha Pevná
common.buy 2 483 Kč
All Things New 2015 - 2016 Wayne Fowler / Kniha Pevná
common.buy 802 Kč
Levně
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon Robert Fitzgerald / Kniha Brožovaná
common.buy 490 Kč
Ama Betty Hallock / Kniha Pevná
common.buy 560 Kč
Hiawatha Passing JEFF HAGEN / Kniha Brožovaná
common.buy 409 Kč
Out of the Dark Gregg Hurwitz / Kniha Brožovaná
common.buy 267 Kč
Handbook of Clinical Adult Genetics and Genomics Shweta Dhar / Kniha Brožovaná
common.buy 4 238 Kč
Toll Road Girls 7 J Ware / Kniha Brožovaná
common.buy 184 Kč
Top
Your Whole Body Misha Iver / Kniha Brožovaná
common.buy 322 Kč
Mad about Shakespeare: From Classroom to Theatre to Emergency Room Jonathan Bate / E-kniha Adobe ePub DRM
common.buy 239 Kč
Levně
Mothers of The Nation The Ambiguous Role of Nazi Women in The Third Reich / Kniha Brožovaná
common.buy 165 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?