Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Types for Proofs and Programs

International Workshop, TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993. Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Types for Proofs and Programs Henk Barendregt
Kod Libristo: 05274389
Wydawnictwo Springer, Berlin, listopad 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

MOLLERUSSA YEGUAS I GASSO / Książka Miękka
common.buy 48.57 zł
Golem Elvire Murail / Książka Miękka
common.buy 116.82 zł
Glaces Hakim / Książka Miękka
common.buy 126.65 zł
Bakuman - Tome 13 Takeshi Obata / Książka Miękka
common.buy 44.85 zł
Stadt Hamburg (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 127.56 zł
Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz / Książka Miękka
common.buy 32.71 zł
Animales del páramo David Rodríguez / Książka Miękka
common.buy 95.84 zł
Irreverente PILAR MARTIN PEREZ / Książka Miękka
common.buy 67.14 zł
Über Leben Reinhold Messner / Książka Twarda
common.buy 93.03 zł
CI Vorrebbe Un Amico Mario Boccia / Książka Miękka
common.buy 43.75 zł
Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier / Książka Miękka
common.buy 82.69 zł
Ost-West-Konflikt aus der Perspektive des Neorealismus Olaf Borgmeier / Książka Miękka
common.buy 68.64 zł
Aguas azules para una batalla Fabra / Audiobook MP3
common.buy 40.24 zł
Jean-Claude Juncker Margaretha Kopeinig / E-book Adobe ePub DRM
common.buy 69.75 zł
La Revista Moderna, Volumes 1-2... Martín Aldao / Książka Twarda
common.buy 166.20 zł
Rocker Devil. Slide und Ellen Bärbel Muschiol / Książka Miękka
common.buy 50.07 zł
Pathogenese und Klinik der Harnsteine G. Gasser / Książka Miękka
common.buy 220.00 zł
Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a / Książka Miękka
common.buy 47.97 zł
Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende / Audio CD Audio
common.buy 55.69 zł
Management von Netzwerkorganisationen Jörg Sydow / Książka Miękka
common.buy 326.59 zł
Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona / Książka Miękka
common.buy 87.21 zł
Natur und Kunst als Spiegel der Seele Peter W. Schatt / Książka Miękka
common.buy 68.64 zł
Fundamentos físicos de la edificación Blasco Laffón / Książka Miękka
common.buy 189.58 zł
CRÓNICAS DE LOS SAMURÁIS R. IBARZABAL / Audio CD Audio
common.buy 125.65 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Types for Proofs and Programs
Autor Henk Barendregt, Tobias Nipkow
Język Angielski
Oprawa Książka - Miękka
Data wydania 1994
Liczba stron 395
EAN 9783540580850
ISBN 3540580859
Kod Libristo 05274389
Wydawnictwo Springer, Berlin
Waga 526
Wymiary 155 x 233 x 21

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Książka Miękka
common.buy 119.43 zł
Lambda Calculus with Types Henk Barendregt / Książka Twarda
common.buy 464.39 zł
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt / Książka Miękka
common.buy 81.79 zł
Mardi Gras Rebecca Pettiford / Książka Twarda
common.buy 46.96 zł
Biotechnology Entrepreneurship Bootcamp Arthur A. Boni / Książka Miękka
common.buy 228.43 zł
Against Distance Peter Makuck / Książka Miękka
common.buy 48.17 zł
The Unified Gospels - The Complete Life Of Christ In The World Of The Evangelists John W. Lea / Książka Miękka
common.buy 98.65 zł
The Mystic Youth Of Jesus Yogi Ramacharaka / Książka Miękka
common.buy 77.98 zł
Unfreezing the Arctic Andrew Stuhl / Książka Twarda
common.buy 188.48 zł
Pop-Up Robert Wernli / Książka Miękka
common.buy 94.64 zł
Clinton, New Terrorism and the Origins of the War on Terror Chin-Kuei Tsui / Książka Twarda
common.buy 945.46 zł
TOP
To Be Read at Dusk Charles Dickens / Książka Miękka
common.buy 15.45 zł
Testimonies of His Love Lisa N Aldridge - Jones / Książka Miękka
common.buy 60.81 zł
History of Modern Morocco Susan Gilson Miller / Książka Twarda
common.buy 456.16 zł
All Things New 2015 - 2016 Wayne Fowler / Książka Twarda
common.buy 147.63 zł
Tanie
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon Robert Fitzgerald / Książka Miękka
common.buy 68.44 zł
Ama Betty Hallock / Książka Twarda
common.buy 104.37 zł
Hiawatha Passing JEFF HAGEN / Książka Miękka
common.buy 76.07 zł
Out of the Dark Gregg Hurwitz / Książka Miękka
common.buy 50.28 zł
Handbook of Clinical Adult Genetics and Genomics Shweta Dhar / Książka Miękka
common.buy 742.41 zł
Toll Road Girls 7 J Ware / Książka Miękka
common.buy 34.02 zł
TOP
Your Whole Body Misha Iver / Książka Miękka
common.buy 62.92 zł
Mad about Shakespeare: From Classroom to Theatre to Emergency Room Jonathan Bate / E-book Adobe ePub DRM
common.buy 41.84 zł
Tanie
Mothers of The Nation The Ambiguous Role of Nazi Women in The Third Reich / Książka Miękka
common.buy 28.90 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?